Searched refs:dest_slot (Results 1 - 20 of 20) sorted by last modified time

/barrelfish-2018-10-04/usr/monitor/
H A Dinvocations.c162 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 Dmonitor_invocations.h229 int dest_level, cslot_t dest_slot);
H A Dcapops.h40 capaddr_t dest_cn, uint8_t dest_level, cslot_t dest_slot,
/barrelfish-2018-10-04/usr/monitor/capops/
H A Dretype.c410 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 Dcapabilities.c572 * \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 Dsyscall.c232 * \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 Dcapabilities.c1203 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 Dsyscall.h39 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 Dcapabilities.h119 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 Dsyscall.c94 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 Dpage_mappings_arch.c276 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 Dsyscall.c122 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 Dpage_mappings_arch.c244 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 Dsyscall.c147 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 Dpaging.c627 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 Dsyscall.c144 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 Dpaging.c550 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 Dinvocations.h28 * 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 Dcapabilities.h32 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 Dinvocations_arch.h96 * 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

Completed in 97 milliseconds