| /barrelfish-master/kernel/arch/armv7/ |
| H A D | syscall.c | 120 capaddr_t source_cptr = args->arg6; local
133 source_croot_ptr, source_cptr,
177 capaddr_t source_cptr = sa->arg3; local
196 return sys_retype(root, source_croot, source_cptr, offset, type,
327 capaddr_t source_cptr = (capaddr_t)sa->arg3; local
339 return sys_map(ptable, slot, source_root_cptr, source_cptr, source_level,
|
| /barrelfish-master/kernel/arch/armv8/ |
| H A D | syscall.c | 122 capaddr_t source_cptr = args->arg6; local
135 source_croot_ptr, source_cptr,
179 capaddr_t source_cptr = sa->arg3; local
198 return sys_retype(root, source_croot, source_cptr, offset, type,
325 capaddr_t source_cptr = (capaddr_t)sa->arg3; local
337 return sys_map(ptable, slot, source_root_cptr, source_cptr, source_level,
|
| /barrelfish-master/kernel/arch/x86_32/ |
| H A D | syscall.c | 114 capaddr_t source_cptr = args[0]; local
126 return sys_retype(root, source_cptr, type, objbits, dest_cnode_cptr,
157 capaddr_t source_cptr = args[1]; local
170 return sys_copy_or_mint(root, destcn_cptr, dest_slot, source_cptr,
212 capaddr_t source_cptr = args[0]; local
223 return sys_map(pgtable, dest_slot, source_cptr, source_vbits,
|
| /barrelfish-master/kernel/arch/x86_64/ |
| H A D | syscall.c | 95 capaddr_t source_cptr = args[0] & 0xffffffff; local
106 struct sysret sr = sys_retype(root, source_croot, source_cptr, offset, type,
144 capaddr_t source_cptr = args[1] & 0xffffffff; local
155 struct sysret sr = sys_map(ptable, slot, source_root_cptr, source_cptr,
174 capaddr_t source_cptr = args[4]; local
188 source_croot_ptr, source_cptr,
318 capaddr_t source_cptr = args[1]; local
327 struct sysret sr = sys_copy_remap(ptable, slot, source_cptr, source_level, flags,
341 capaddr_t source_cptr = args[0]; local
361 err = caps_lookup_slot(root, source_cptr, source_leve
[all...] |
| /barrelfish-master/kernel/include/ |
| H A D | syscall.h | 36 sys_retype(struct capability *root, capaddr_t source_croot, capaddr_t source_cptr,
45 capaddr_t source_cptr, uint8_t source_level, uintptr_t flags,
49 sys_copy_remap(struct capability *ptable, cslot_t slot, capaddr_t source_cptr,
56 source_croot_ptr, capaddr_t source_cptr,
|
| /barrelfish-master/kernel/ |
| H A D | syscall.c | 224 * \param source_cptr Source capability cptr
236 sys_retype(struct capability *root, capaddr_t source_croot, capaddr_t source_cptr, argument
257 err = caps_lookup_slot(source_root, source_cptr, 2, &source_cte,
345 * \param source_cptr Source capability cptr relative to source cspace
355 source_croot_ptr, capaddr_t source_cptr,
384 err = caps_lookup_slot(src_croot, source_cptr, source_level, &src_cap,
424 capaddr_t source_cptr, uint8_t source_level, uintptr_t flags,
451 err = caps_lookup_slot(src_root, source_cptr, source_level, &src_cte,
491 sys_copy_remap(struct capability *ptable, cslot_t slot, capaddr_t source_cptr, argument
503 err = caps_lookup_slot(root, source_cptr, source_leve
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
423 sys_map(struct capability *ptable, cslot_t slot, capaddr_t source_root_cptr, capaddr_t source_cptr, uint8_t source_level, uintptr_t flags, uintptr_t offset, uintptr_t pte_count, capaddr_t mapping_crootptr, capaddr_t mapping_cnptr, uint8_t mapping_cn_level, cslot_t mapping_slot) argument
[all...] |