Changeset 16 for trunk/kernel/kern/rpc.h

Timestamp:

May 10, 2017, 5:04:01 PM (7 years ago)

Author:

alain

Message:

mprove the HAL for interrupt, exception, syscall handling.

File:

• trunk/kernel/kern/rpc.h (modified) (1 diff)

trunk/kernel/kern/rpc.h

@@ -371 +371 @@
  * on the vseg containing a given virtual address in a given process.
  * The server cluster is supposed to be the reference cluster.
- * It returns NULL if no vseg has been founded.
+ * It returns XPTR_NULL if no vseg has been founded.
  ***********************************************************************************
  * @ cxy     : server cluster identifier.
  * @ process : [in]   pointer on process descriptor in server cluster. 
  * @ vaddr   : [in]   virtual address to be searched.
- * @ vseg    : [out]  address of buffer for vseg pointer in client cluster.
+ * @ vseg_xp : [out]  buffer for extended pointer on vseg in client cluster.
  **********************************************************************************/
 void rpc_vmm_get_ref_vseg_client( cxy_t              cxy,