Searched refs:sys_retype (Results 1 - 6 of 6) sorted by last modified time
| /barrelfish-master/kernel/ |
| H A D | syscall.c | 236 sys_retype(struct capability *root, capaddr_t source_croot, capaddr_t source_cptr, function
|
| /barrelfish-master/kernel/include/ |
| H A D | syscall.h | 36 sys_retype(struct capability *root, capaddr_t source_croot, capaddr_t source_cptr,
|
| /barrelfish-master/kernel/arch/x86_64/ |
| H A D | syscall.c | 106 struct sysret sr = sys_retype(root, source_croot, source_cptr, offset, type,
|
| /barrelfish-master/kernel/arch/x86_32/ |
| H A D | syscall.c | 126 return sys_retype(root, source_cptr, type, objbits, dest_cnode_cptr,
|
| /barrelfish-master/kernel/arch/armv8/ |
| H A D | syscall.c | 198 return sys_retype(root, source_croot, source_cptr, offset, type,
|
| /barrelfish-master/kernel/arch/armv7/ |
| H A D | syscall.c | 196 return sys_retype(root, source_croot, source_cptr, offset, type,
|
Completed in 101 milliseconds