Searched defs:caps_copy_to_vnode (Results 1 - 4 of 4) sorted by path

/barrelfish-master/kernel/arch/armv7/
H A Dpaging.c557 errval_t caps_copy_to_vnode(struct cte *dest_vnode_cte, cslot_t dest_slot, function
/barrelfish-master/kernel/arch/armv8/
H A Dpaging.c644 errval_t caps_copy_to_vnode(struct cte *dest_vnode_cte, cslot_t dest_slot, function
/barrelfish-master/kernel/arch/x86_32/
H A Dpage_mappings_arch.c260 errval_t caps_copy_to_vnode(struct cte *dest_vnode_cte, cslot_t dest_slot, function
/barrelfish-master/kernel/arch/x86_64/
H A Dpage_mappings_arch.c540 errval_t caps_copy_to_vnode(struct cte *dest_vnode_cte, cslot_t dest_slot, function

Completed in 69 milliseconds