Changeset 441 for trunk/kernel/syscalls/sys_exit.c

Timestamp:

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

Author:

alain

Message:

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

File:

• trunk/kernel/syscalls/sys_exit.c (modified) (2 diffs)

trunk/kernel/syscalls/sys_exit.c

@@ -51 +51 @@
 #endif
 
-    // get owner process descriptor pointers an cluster
+    // get owner process descriptor pointers and cluster
     xptr_t      owner_xp  = cluster_get_owner_process_from_pid( pid );
     cxy_t       owner_cxy = GET_CXY( owner_xp );
@@ -128 +128 @@
     sched_yield( "process exit" );
 
-    // this code should never be executed
-    assert( false , __FUNCTION__ , "this code should not be executed...\n" );
         return 0;