Ignore:
Timestamp:
Aug 17, 2017, 3:02:18 PM (5 years ago)
Author:
alain
Message:

Few bugs in VMM

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/kernel/kern/rpc.h

    r389 r401  
    494494                              intptr_t           vaddr,
    495495                              xptr_t           * vseg_xp,
    496                               error_t            error );
     496                              error_t          * error );
    497497
    498498void rpc_vmm_get_vseg_server( xptr_t xp );
Note: See TracChangeset for help on using the changeset viewer.