Searched refs:source_root_cptr (Results 1 - 5 of 5) sorted by path
/barrelfish-master/kernel/arch/armv7/ |
H A D | syscall.c | 326 capaddr_t source_root_cptr = (capaddr_t)sa->arg2; local 339 return sys_map(ptable, slot, source_root_cptr, source_cptr, source_level,
|
/barrelfish-master/kernel/arch/armv8/ |
H A D | syscall.c | 324 capaddr_t source_root_cptr = (capaddr_t)sa->arg2; local 337 return sys_map(ptable, slot, source_root_cptr, source_cptr, source_level,
|
/barrelfish-master/kernel/arch/x86_64/ |
H A D | syscall.c | 143 capaddr_t source_root_cptr= args[1] >> 32; local 155 struct sysret sr = sys_map(ptable, slot, source_root_cptr, source_cptr,
|
/barrelfish-master/kernel/include/ |
H A D | syscall.h | 44 sys_map(struct capability *ptable, cslot_t slot, capaddr_t source_root_cptr,
|
/barrelfish-master/kernel/ |
H A D | syscall.c | 423 sys_map(struct capability *ptable, cslot_t slot, capaddr_t source_root_cptr, argument 441 err = caps_lookup_cap(root, source_root_cptr, source_level, &src_root,
|
Completed in 109 milliseconds