| /barrelfish-2018-10-04/kernel/ |
| H A D | syscall.c | 446 struct cte *src_cte; local
447 err = caps_lookup_slot(src_root, source_cptr, source_level, &src_cte,
482 return SYSRET(caps_copy_to_vnode(cte_for_cap(ptable), slot, src_cte, flags,
|
| H A D | capabilities.c | 1420 struct cte *src_cte, gensize_t offset,
1429 struct capability *src_cap = &src_cte->cap;
1488 TRACE_CAP_MSG("retyping", src_cte);
1491 err = is_retypeable(src_cte, src_cap->type, type, from_monitor);
1692 if (src_cte->mdbnode.owner != my_core_id &&
1696 dest_cte[0].mdbnode.owner = src_cte->mdbnode.owner;
1717 errval_t is_retypeable(struct cte *src_cte, enum objtype src_type, argument
1722 } else if (!is_revoked_first(src_cte, src_type)){
1723 //printf("err_revoke_first: (%p, %d, %d)\n", src_cte, src_type, dest_type);
1725 } else if (dest_type == ObjType_EndPoint && src_cte
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...] |
| /barrelfish-2018-10-04/kernel/include/ |
| H A D | capabilities.h | 122 struct cte *src_cte, bool mint, uintptr_t param1,
124 errval_t caps_copy_to_cte(struct cte *dest_cte, struct cte *src_cte, bool mint,
127 struct cte *src_cte, uintptr_t flags,
143 struct cte *src_cte, gensize_t offset,
145 errval_t is_retypeable(struct cte *src_cte,
|
| /barrelfish-2018-10-04/kernel/arch/x86_64/ |
| H A D | page_mappings_arch.c | 293 struct cte *src_cte, uintptr_t flags,
300 struct capability *src_cap = &src_cte->cap;
307 genpaddr_t paddr = get_address(&src_cte->cap) + offset;
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/arch/x86_32/ |
| H A D | page_mappings_arch.c | 261 struct cte *src_cte, uintptr_t flags,
268 struct capability *src_cap = &src_cte->cap;
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/armv8/ |
| H A D | paging.c | 644 struct cte *src_cte, uintptr_t flags,
648 struct capability *src_cap = &src_cte->cap;
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/armv7/ |
| H A D | paging.c | 551 struct cte *src_cte, uintptr_t flags,
555 struct capability *src_cap = &src_cte->cap;
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
|