Changeset 390


Ignore:
Timestamp:
Aug 16, 2017, 2:57:33 PM (4 years ago)
Author:
alain
Message:

RPC_VMM_GET_REF_VSEG renamed to RPC_VMM_GET_VSEG

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/kernel/mm/vmm.c

    r388 r390  
    755755        xptr_t   vseg_xp;
    756756        error_t  error;
    757         rpc_vmm_get_ref_vseg_client( ref_cxy , ref_ptr , bad_vaddr , &vseg_xp , &error );
     757        rpc_vmm_get_vseg_client( ref_cxy , ref_ptr , bad_vaddr , &vseg_xp , &error );
    758758           
    759759        if( error )   return -1;       // vseg not found => illegal user vaddr
Note: See TracChangeset for help on using the changeset viewer.