Changeset 441 for trunk/kernel/kern/rpc.c

Timestamp:

May 9, 2018, 3:13:56 PM (6 years ago)

Author:

alain

Message:

Fix a bug in rpc_vmm_get_pte_client() function (bad RPC index).

File:

• trunk/kernel/kern/rpc.c (modified) (4 diffs)

trunk/kernel/kern/rpc.c

@@ -1666 +1666 @@
 
 /////////////////////////////////////////////////////////////////////////////////////////
-// [21]          Marshaling functions attached to RPC_VMM_GET_VSEG  (blocking)
+// [21]          Marshaling functions attached to RPC_VMM_GET_PTE  (blocking)
 /////////////////////////////////////////////////////////////////////////////////////////
 
@@ -1689 +1689 @@
     // initialise RPC descriptor header 
     rpc_desc_t  rpc;
-    rpc.index    = RPC_VMM_GET_VSEG;
+    rpc.index    = RPC_VMM_GET_PTE;
     rpc.blocking = true;
     rpc.responses = 1;
@@ -1769 +1769 @@
     // initialise RPC descriptor header 
     rpc_desc_t  rpc;
-    rpc.index    = RPC_THREAD_USER_CREATE;
+    rpc.index    = RPC_KCM_ALLOC;
     rpc.blocking = true;
     rpc.responses = 1;
@@ -1819 +1819 @@
     // initialise RPC descriptor header 
     rpc_desc_t  rpc;
-    rpc.index    = RPC_THREAD_USER_CREATE;
+    rpc.index    = RPC_KCM_FREE;
     rpc.blocking = true;
     rpc.responses = 1;