Changeset 640 for trunk/kernel/libk/user_dir.c

Timestamp:

Oct 1, 2019, 1:19:00 PM (5 years ago)

Author:

alain

Message:

Remove all RPCs in page-fault handling.

File:

• trunk/kernel/libk/user_dir.c (modified) (2 diffs)

trunk/kernel/libk/user_dir.c

@@ -294 +294 @@
 
             // delete the vseg
-            if( ref_cxy == local_cxy)
-                vmm_delete_vseg( ref_pid, vpn_base << CONFIG_PPM_PAGE_SHIFT );
-            else 
-                rpc_vmm_delete_vseg_client( ref_cxy, ref_pid, vpn_base << CONFIG_PPM_PAGE_SHIFT );
-
+            if( ref_cxy == local_cxy)  vmm_remove_vseg( ref_ptr, vseg );
+            else                       rpc_vmm_remove_vseg_client( ref_cxy, ref_ptr, vseg );
+         
             // release the user_dir descriptor
             req.type = KMEM_KCM;
@@ -459 +457 @@
     rpc.rsp       = &responses;
     rpc.blocking  = false;
-    rpc.index     = RPC_VMM_DELETE_VSEG;
+    rpc.index     = RPC_VMM_REMOVE_VSEG;
     rpc.thread    = this;
     rpc.lid       = this->core->lid;