Searched refs:dest_cspace_cptr (Results 1 - 5 of 5) sorted by last modified time
| /barrelfish-master/kernel/ |
| H A D | syscall.c | 229 * \param dest_cspace_cptr Destination CSpace cnode cptr relative to
238 capaddr_t dest_cspace_cptr, capaddr_t dest_cnode_cptr,
267 err = caps_lookup_cap(root, dest_cspace_cptr, 2,
342 * \param dest_cspace_cptr Destination cspace root cnode cptr in source cspace
353 sys_copy_or_mint(struct capability *root, capaddr_t dest_cspace_cptr, argument
393 err = caps_lookup_cap(root, dest_cspace_cptr, 2, &dest_cspace_root, CAPRIGHTS_READ);
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
|
| /barrelfish-master/kernel/include/ |
| H A D | syscall.h | 54 sys_copy_or_mint(struct capability *root, capaddr_t dest_cspace_cptr,
|
| /barrelfish-master/kernel/arch/x86_64/ |
| H A D | syscall.c | 100 capaddr_t dest_cspace_cptr= args[5] >> 32; local
107 objsize, objcount, dest_cspace_cptr,
170 capaddr_t dest_cspace_cptr = args[0]; local
187 struct sysret sr = sys_copy_or_mint(root, dest_cspace_cptr, destcn_cptr, dest_slot,
|
| /barrelfish-master/kernel/arch/armv8/ |
| H A D | syscall.c | 118 capaddr_t dest_cspace_cptr = args->arg2; local
134 struct sysret sr = sys_copy_or_mint(root, dest_cspace_cptr, destcn_cptr, dest_slot,
190 capaddr_t dest_cspace_cptr = sa->x8; local
199 objsize, count, dest_cspace_cptr, dest_cnode_cptr,
|
| /barrelfish-master/kernel/arch/armv7/ |
| H A D | syscall.c | 116 capaddr_t dest_cspace_cptr = args->arg2; local
132 struct sysret sr = sys_copy_or_mint(root, dest_cspace_cptr, destcn_cptr, dest_slot,
188 capaddr_t dest_cspace_cptr = sa->arg8; local
197 objsize, count, dest_cspace_cptr, dest_cnode_cptr,
|
Completed in 72 milliseconds