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

Timestamp:

Aug 17, 2017, 3:02:18 PM (7 years ago)

Author:

alain

Message:

Few bugs in VMM

File:

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

trunk/kernel/kern/rpc.h

@@ -494 +494 @@
                               intptr_t           vaddr,
                               xptr_t           * vseg_xp,
-                              error_t            error );
+                              error_t          * error );
 
 void rpc_vmm_get_vseg_server( xptr_t xp );