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

Timestamp:

Aug 16, 2017, 2:54:04 PM (7 years ago)

Author:

alain

Message:

Update the RPC_VMM_GET_VSEG.

File:

• trunk/kernel/kern/rpc.h (modified) (3 diffs)

trunk/kernel/kern/rpc.h

@@ -76 +76 @@
     RPC_FATFS_GET_CLUSTER      = 18,
 
-    RPC_VMM_GET_REF_VSEG       = 20,
+    RPC_VMM_GET_VSEG           = 20,
     RPC_VMM_GET_PTE            = 21,
     RPC_KCM_ALLOC              = 22,
@@ -479 +479 @@
 
 /***********************************************************************************
- * [20] The RPC_VMM_GET_REF_VSEG returns an extended pointer 
+ * [20] The RPC_VMM_GET_VSEG returns an extended pointer 
  * on the vseg containing a given virtual address in a given process.
  * The server cluster is supposed to be the reference cluster.
- * It returns XPTR_NULL if no vseg has been founded.
+ * It returns a non zero error value if no vseg has been founded.
  ***********************************************************************************
  * @ cxy     : server cluster identifier.
@@ -488 +488 @@
  * @ vaddr   : [in]   virtual address to be searched.
  * @ vseg_xp : [out]  buffer for extended pointer on vseg in client cluster.
- **********************************************************************************/
-void rpc_vmm_get_ref_vseg_client( cxy_t              cxy,
-                                  struct process_s * process,
-                                  intptr_t           vaddr,
-                                  xptr_t           * vseg_xp );
-
-void rpc_vmm_get_ref_vseg_server( xptr_t xp );
+ * @ error   : [out] local pointer on buffer for error code (in client cluster). 
+ **********************************************************************************/
+void rpc_vmm_get_vseg_client( cxy_t              cxy,
+                              struct process_s * process,
+                              intptr_t           vaddr,
+                              xptr_t           * vseg_xp,
+                              error_t            error );
+
+void rpc_vmm_get_vseg_server( xptr_t xp );
 
 /***********************************************************************************