Searched defs:src_cte (Results 1 - 6 of 6) sorted by path
| /barrelfish-2018-10-04/kernel/arch/armv7/ |
| H A D | paging.c | 550 caps_copy_to_vnode(struct cte *dest_vnode_cte, cslot_t dest_slot, struct cte *src_cte, uintptr_t flags, uintptr_t offset, uintptr_t pte_count, struct cte *mapping_cte) argument
|
| /barrelfish-2018-10-04/kernel/arch/armv8/ |
| H A D | paging.c | 643 caps_copy_to_vnode(struct cte *dest_vnode_cte, cslot_t dest_slot, struct cte *src_cte, uintptr_t flags, uintptr_t offset, uintptr_t pte_count, struct cte *mapping_cte) argument
|
| /barrelfish-2018-10-04/kernel/arch/x86_32/ |
| H A D | page_mappings_arch.c | 260 caps_copy_to_vnode(struct cte *dest_vnode_cte, cslot_t dest_slot, struct cte *src_cte, uintptr_t flags, uintptr_t offset, uintptr_t pte_count, struct cte *mapping_cte) argument
|
| /barrelfish-2018-10-04/kernel/arch/x86_64/ |
| H A D | page_mappings_arch.c | 292 caps_copy_to_vnode(struct cte *dest_vnode_cte, cslot_t dest_slot, struct cte *src_cte, uintptr_t flags, uintptr_t offset, uintptr_t pte_count, struct cte *mapping_cte) argument
|
| /barrelfish-2018-10-04/kernel/ |
| H A D | capabilities.c | 1717 errval_t is_retypeable(struct cte *src_cte, enum objtype src_type, argument
1418 caps_retype(enum objtype type, gensize_t objsize, size_t count, struct capability *dest_cnode, cslot_t dest_slot, struct cte *src_cte, gensize_t offset, bool from_monitor) argument
1741 caps_copy_to_cnode(struct cte *dest_cnode_cte, cslot_t dest_slot, struct cte *src_cte, bool mint, uintptr_t param1, uintptr_t param2) argument
1768 caps_copy_to_cte(struct cte *dest_cte, struct cte *src_cte, bool mint, uintptr_t param1, uintptr_t param2) argument
[all...] |
| H A D | syscall.c | 446 struct cte *src_cte; local
|
Completed in 61 milliseconds