Changeset 390 for trunk

Timestamp:

Aug 16, 2017, 2:57:33 PM (7 years ago)

Author:

alain

Message:

RPC_VMM_GET_REF_VSEG renamed to RPC_VMM_GET_VSEG

File:

• trunk/kernel/mm/vmm.c (modified) (1 diff)

trunk/kernel/mm/vmm.c

@@ -755 +755 @@
         xptr_t   vseg_xp;
         error_t  error;
-        rpc_vmm_get_ref_vseg_client( ref_cxy , ref_ptr , bad_vaddr , &vseg_xp , &error );
+        rpc_vmm_get_vseg_client( ref_cxy , ref_ptr , bad_vaddr , &vseg_xp , &error );
             
         if( error )   return -1;       // vseg not found => illegal user vaddr