Changeset 50 for trunk/kernel/mm/vmm.c

Timestamp:

Jun 26, 2017, 3:15:11 PM (7 years ago)

Author:

alain

Message:

bloup

File:

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

trunk/kernel/mm/vmm.c

@@ -936 +936 @@
     offset = (uint32_t)( ((intptr_t)ptr) & CONFIG_PPM_PAGE_MASK );
 
-    if( local_cxy == GET_CXY( process->ref_xp) )   // calling process is reference process
+    if( local_cxy == GET_CXY( process->ref_xp) ) // calling process is reference process
     {
         error = vmm_get_pte( process, vpn , &attr , &ppn );
     }
-    else                                           // use a RPC
+    else                                         // calling process is not reference process
     {
         cxy_t       ref_cxy = GET_CXY( process->ref_xp );