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/kern/rpc.c

    r440 r441  
    16661666
    16671667/////////////////////////////////////////////////////////////////////////////////////////
    1668 // [21]          Marshaling functions attached to RPC_VMM_GET_VSEG  (blocking)
     1668// [21]          Marshaling functions attached to RPC_VMM_GET_PTE  (blocking)
    16691669/////////////////////////////////////////////////////////////////////////////////////////
    16701670
     
    16891689    // initialise RPC descriptor header
    16901690    rpc_desc_t  rpc;
    1691     rpc.index    = RPC_VMM_GET_VSEG;
     1691    rpc.index    = RPC_VMM_GET_PTE;
    16921692    rpc.blocking = true;
    16931693    rpc.responses = 1;
     
    17691769    // initialise RPC descriptor header
    17701770    rpc_desc_t  rpc;
    1771     rpc.index    = RPC_THREAD_USER_CREATE;
     1771    rpc.index    = RPC_KCM_ALLOC;
    17721772    rpc.blocking = true;
    17731773    rpc.responses = 1;
     
    18191819    // initialise RPC descriptor header
    18201820    rpc_desc_t  rpc;
    1821     rpc.index    = RPC_THREAD_USER_CREATE;
     1821    rpc.index    = RPC_KCM_FREE;
    18221822    rpc.blocking = true;
    18231823    rpc.responses = 1;
Note: See TracChangeset for help on using the changeset viewer.