Searched refs:sys_copy_or_mint (Results 1 - 6 of 6) sorted by last modified time
| /barrelfish-master/kernel/ |
| H A D | syscall.c | 353 sys_copy_or_mint(struct capability *root, capaddr_t dest_cspace_cptr, function
|
| /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 | 187 struct sysret sr = sys_copy_or_mint(root, dest_cspace_cptr, destcn_cptr, dest_slot,
|
| /barrelfish-master/kernel/arch/x86_32/ |
| H A D | syscall.c | 170 return sys_copy_or_mint(root, destcn_cptr, dest_slot, source_cptr,
|
| /barrelfish-master/kernel/arch/armv8/ |
| H A D | syscall.c | 134 struct sysret sr = sys_copy_or_mint(root, dest_cspace_cptr, destcn_cptr, dest_slot,
|
| /barrelfish-master/kernel/arch/armv7/ |
| H A D | syscall.c | 132 struct sysret sr = sys_copy_or_mint(root, dest_cspace_cptr, destcn_cptr, dest_slot,
|
Completed in 141 milliseconds