Searched refs:paging_copy_remap (Results 1 - 5 of 5) sorted by relevance
/barrelfish-master/kernel/include/ |
H A D | capabilities.h | 134 errval_t paging_copy_remap(struct cte *dest_vnode_cte, cslot_t dest_slot,
|
/barrelfish-master/kernel/arch/armv7/ |
H A D | paging.c | 642 errval_t paging_copy_remap(struct cte *dest_vnode_cte, cslot_t dest_slot, function
|
/barrelfish-master/kernel/arch/x86_64/ |
H A D | page_mappings_arch.c | 665 errval_t paging_copy_remap(struct cte *dest_vnode_cte, cslot_t dest_slot, function
|
/barrelfish-master/kernel/arch/armv8/ |
H A D | paging.c | 751 errval_t paging_copy_remap(struct cte *dest_vnode_cte, cslot_t dest_slot, function
|
/barrelfish-master/kernel/ |
H A D | syscall.c | 530 return SYSRET(paging_copy_remap(cte_for_cap(ptable), slot, src_cte, flags,
|
Completed in 95 milliseconds