Searched refs:dest_vnode_cte (Results 1 - 5 of 5) sorted by relevance
| /barrelfish-master/kernel/arch/x86_64/ |
| H A D | page_mappings_arch.c | 540 errval_t caps_copy_to_vnode(struct cte *dest_vnode_cte, cslot_t dest_slot, argument
545 assert(type_is_vnode(dest_vnode_cte->cap.type));
549 struct capability *dest_cap = &dest_vnode_cte->cap;
557 compile_vaddr(dest_vnode_cte, dest_slot, &vaddr);
665 errval_t paging_copy_remap(struct cte *dest_vnode_cte, cslot_t dest_slot, argument
670 assert(type_is_vnode(dest_vnode_cte->cap.type));
674 struct capability *dest_cap = &dest_vnode_cte->cap;
|
| /barrelfish-master/kernel/arch/x86_32/ |
| H A D | page_mappings_arch.c | 260 errval_t caps_copy_to_vnode(struct cte *dest_vnode_cte, cslot_t dest_slot, argument
265 assert(type_is_vnode(dest_vnode_cte->cap.type));
269 struct capability *dest_cap = &dest_vnode_cte->cap;
|
| /barrelfish-master/kernel/include/ |
| H A D | capabilities.h | 130 errval_t caps_copy_to_vnode(struct cte *dest_vnode_cte, cslot_t dest_slot,
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 | 557 errval_t caps_copy_to_vnode(struct cte *dest_vnode_cte, cslot_t dest_slot, argument
563 struct capability *dest_cap = &dest_vnode_cte->cap;
642 errval_t paging_copy_remap(struct cte *dest_vnode_cte, cslot_t dest_slot, argument
|
| /barrelfish-master/kernel/arch/armv8/ |
| H A D | paging.c | 644 errval_t caps_copy_to_vnode(struct cte *dest_vnode_cte, cslot_t dest_slot, argument
650 struct capability *dest_cap = &dest_vnode_cte->cap;
751 errval_t paging_copy_remap(struct cte *dest_vnode_cte, cslot_t dest_slot, argument
|
Completed in 89 milliseconds