Ignore:
Timestamp:
May 9, 2018, 3:13:56 PM (4 years ago)
Author:
alain
Message:

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

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/kernel/syscalls/sys_exit.c

    r440 r441  
    5151#endif
    5252
    53     // get owner process descriptor pointers an cluster
     53    // get owner process descriptor pointers and cluster
    5454    xptr_t      owner_xp  = cluster_get_owner_process_from_pid( pid );
    5555    cxy_t       owner_cxy = GET_CXY( owner_xp );
     
    128128    sched_yield( "process exit" );
    129129
    130     // this code should never be executed
    131     assert( false , __FUNCTION__ , "this code should not be executed...\n" );
    132130        return 0;
    133131
Note: See TracChangeset for help on using the changeset viewer.