/barrelfish-2018-10-04/usr/monitor/ |
H A D | invocations.c | 162 int dest_level, cslot_t dest_slot) 170 dest_slot, dest_level); 158 monitor_create_caps(struct capref src_root, struct capref dest_root, enum objtype newtype, gensize_t objsize, size_t count, capaddr_t src, int src_level, size_t offset, capaddr_t dest_cn, int dest_level, cslot_t dest_slot) argument
|
/barrelfish-2018-10-04/usr/monitor/include/ |
H A D | monitor_invocations.h | 229 int dest_level, cslot_t dest_slot);
|
H A D | capops.h | 40 capaddr_t dest_cn, uint8_t dest_level, cslot_t dest_slot,
|
/barrelfish-2018-10-04/usr/monitor/capops/ |
H A D | retype.c | 410 capaddr_t dest_cn, uint8_t dest_level, cslot_t dest_slot, 430 dest_cn, dest_level, dest_slot); 459 rtp_req_st->output.start_slot = dest_slot; 486 rtp_loc_st->output.start_slot = dest_slot; 409 capops_retype(enum objtype type, size_t objsize, size_t count, struct capref dest_root, capaddr_t dest_cn, uint8_t dest_level, cslot_t dest_slot, struct capref src_root, capaddr_t src, uint8_t src_level, gensize_t offset, retype_result_handler_t result_handler, void *st) argument
|
/barrelfish-2018-10-04/lib/barrelfish/ |
H A D | capabilities.c | 572 * \param dest_slot slot to fill with new cnode in destination L1 cnode 578 errval_t cnode_create_foreign_l2(struct capref dest_l1, cslot_t dest_slot, argument 590 dest.slot = dest_slot; 603 cnoderef->cnode = ROOTCN_SLOT_ADDR(dest_slot);
|
/barrelfish-2018-10-04/kernel/ |
H A D | syscall.c | 232 * \param dest_slot Destination slot number 239 uint8_t dest_cnode_level, cslot_t dest_slot, bool from_monitor) 292 return SYSRET(caps_retype(type, objsize, count, dest_cnode_cap, dest_slot, 298 uint8_t dest_level, cslot_t dest_slot) 319 dest_cte = caps_locate_slot(get_address(dest_cnode_cap), dest_slot); 344 * \param dest_slot Destination slot 354 capaddr_t destcn_cptr, cslot_t dest_slot, capaddr_t 415 return SYSRET(caps_copy_to_cnode(dest_cnode_cap, dest_slot, src_cap, 236 sys_retype(struct capability *root, capaddr_t source_croot, capaddr_t source_cptr, gensize_t offset, enum objtype type, gensize_t objsize, size_t count, capaddr_t dest_cspace_cptr, capaddr_t dest_cnode_cptr, uint8_t dest_cnode_level, cslot_t dest_slot, bool from_monitor) argument 296 sys_create(struct capability *root, enum objtype type, size_t objsize, capaddr_t dest_cnode_cptr, uint8_t dest_level, cslot_t dest_slot) argument 353 sys_copy_or_mint(struct capability *root, capaddr_t dest_cspace_cptr, capaddr_t destcn_cptr, cslot_t dest_slot, capaddr_t source_croot_ptr, capaddr_t source_cptr, uint8_t destcn_level, uint8_t source_level, uintptr_t param1, uintptr_t param2, bool mint) argument
|
H A D | capabilities.c | 1203 int cnode_level, cslot_t dest_slot, coreid_t owner, 1220 struct cte *dest = caps_locate_slot(get_address(cnode), dest_slot); 1417 /// `dest_cnode` starting at `dest_slot`. 1419 struct capability *dest_cnode, cslot_t dest_slot, 1607 if (dest_slot + count > cnode_get_slots(dest_cnode)) { 1614 " dest_slot %d\n", 1615 get_address(dest_cnode), (int)dest_slot); 1617 if (caps_locate_slot(get_address(dest_cnode), dest_slot + i)->cap.type 1620 (int)(dest_slot + i)); 1662 caps_locate_slot(get_address(dest_cnode), dest_slot); 1202 caps_create_from_existing(struct capability *root, capaddr_t cnode_cptr, int cnode_level, cslot_t dest_slot, coreid_t owner, struct capability *src) 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 [all...] |
/barrelfish-2018-10-04/kernel/include/ |
H A D | syscall.h | 39 uint8_t dest_level, cslot_t dest_slot, bool from_monitor); 42 uint8_t dest_level, cslot_t dest_slot); 50 capaddr_t destcn_cptr, cslot_t dest_slot, capaddr_t
|
H A D | capabilities.h | 119 int cnode_vbits, cslot_t dest_slot, 121 errval_t caps_copy_to_cnode(struct cte *dest_cnode_cte, cslot_t dest_slot, 126 errval_t caps_copy_to_vnode(struct cte *dest_vnode_cte, cslot_t dest_slot, 142 struct capability *dest_cnode, cslot_t dest_slot,
|
/barrelfish-2018-10-04/kernel/arch/x86_64/ |
H A D | syscall.c | 94 uint64_t dest_slot = args[6]; local 101 dest_slot, from_monitor); 120 cslot_t dest_slot = args[4]; local 124 dest_level, dest_slot); 164 uint64_t dest_slot = args[2]; local 179 struct sysret sr = sys_copy_or_mint(root, dest_cspace_cptr, destcn_cptr, dest_slot,
|
H A D | page_mappings_arch.c | 276 cslot_t dest_slot, 292 errval_t caps_copy_to_vnode(struct cte *dest_vnode_cte, cslot_t dest_slot, argument 309 compile_vaddr(dest_vnode_cte, dest_slot, &vaddr); 313 cslot_t last_slot = dest_slot + pte_count; 322 errval_t r = handler_func(dest_cap, dest_slot, src_cap, flags, offset,
|
/barrelfish-2018-10-04/kernel/arch/x86_32/ |
H A D | syscall.c | 122 capaddr_t dest_slot = args[3]; local 127 dest_slot, dest_vbits, from_monitor); 142 capaddr_t dest_slot = args[2]; local 145 return sys_create(root, type, objbits, dest_cnode_cptr, dest_slot, 158 capaddr_t dest_slot = args[2] >> 16; local 170 return sys_copy_or_mint(root, destcn_cptr, dest_slot, source_cptr, 217 cslot_t dest_slot = args[3] >> 16; local 223 return sys_map(pgtable, dest_slot, source_cptr, source_vbits,
|
H A D | page_mappings_arch.c | 244 cslot_t dest_slot, 260 errval_t caps_copy_to_vnode(struct cte *dest_vnode_cte, cslot_t dest_slot, argument 274 cslot_t last_slot = dest_slot + pte_count; 284 errval_t r = handler_func(dest_cap, dest_slot, src_cap, flags, offset,
|
/barrelfish-2018-10-04/kernel/arch/armv8/ |
H A D | syscall.c | 147 uint64_t dest_slot = args->arg4; local 161 struct sysret sr = sys_copy_or_mint(root, dest_cspace_cptr, destcn_cptr, dest_slot, 221 capaddr_t dest_slot = sa->x10; local 227 dest_cnode_level, dest_slot, from_monitor); 272 cslot_t dest_slot = sa->arg6; local 275 return sys_create(root, type, objsize, dest_cptr, dest_level, dest_slot);
|
H A D | paging.c | 627 cslot_t dest_slot, 643 errval_t caps_copy_to_vnode(struct cte *dest_vnode_cte, cslot_t dest_slot, argument 657 err = handler_func(dest_cap, dest_slot, src_cap, flags, offset, pte_count,
|
/barrelfish-2018-10-04/kernel/arch/armv7/ |
H A D | syscall.c | 144 uint64_t dest_slot = args->arg4; local 158 struct sysret sr = sys_copy_or_mint(root, dest_cspace_cptr, destcn_cptr, dest_slot, 218 capaddr_t dest_slot = sa->arg10; local 224 dest_cnode_level, dest_slot, from_monitor); 269 cslot_t dest_slot = sa->arg6; local 271 printk(LOG_NOTE, "destcn=%"PRIxCADDR", dest_level=%d, dest_slot=%d\n", 272 dest_cptr, dest_level, dest_slot); 274 return sys_create(root, type, objsize, dest_cptr, dest_level, dest_slot);
|
H A D | paging.c | 550 errval_t caps_copy_to_vnode(struct cte *dest_vnode_cte, cslot_t dest_slot, argument 562 err = caps_map_l1(dest_cap, dest_slot, src_cap, 571 err = caps_map_l2(dest_cap, dest_slot, src_cap,
|
/barrelfish-2018-10-04/include/barrelfish/ |
H A D | invocations.h | 28 * be placed in the slot 'dest_slot' of the CNode located at 'dest_cnode_cptr' 40 * \param dest_slot Slot in CNode cap to place new cap. 48 capaddr_t dest_slot) 52 dest_level, dest_slot).error; 44 invoke_cnode_create(struct capref root, enum objtype type, size_t objsize, capaddr_t dest_cnode_cptr, enum cnode_type dest_level, capaddr_t dest_slot) argument
|
H A D | capabilities.h | 32 errval_t cnode_create_foreign_l2(struct capref dest_l1, cslot_t dest_slot, struct cnoderef *cnoderef);
|
/barrelfish-2018-10-04/include/arch/x86_32/barrelfish/ |
H A D | invocations_arch.h | 96 * be placed in the slot 'dest_slot' of the CNode located at 'dest_cnode_cptr' 107 * \param dest_slot Slot in CNode cap to place new cap. 115 capaddr_t dest_slot, 128 dest_cnode_cptr, dest_slot).error; 112 invoke_cnode_create(struct capref root, enum objtype type, uint8_t objbits, capaddr_t dest_cnode_cptr, capaddr_t dest_slot, uint8_t dest_vbits) argument
|