Searched refs:sys_identify_cap (Results 1 - 5 of 5) sorted by path
| /barrelfish-master/kernel/arch/armv7/ |
| H A D | syscall.c | 925 return sys_identify_cap(root, cptr, level, cap);
|
| /barrelfish-master/kernel/arch/armv8/ |
| H A D | syscall.c | 893 return sys_identify_cap(root, cptr, level, cap);
|
| /barrelfish-master/kernel/arch/x86_64/ |
| H A D | syscall.c | 262 return sys_identify_cap(root, cptr, level, cap);
|
| /barrelfish-master/kernel/include/ |
| H A D | syscall.h | 65 struct sysret sys_identify_cap(struct capability *root, capaddr_t cptr,
|
| /barrelfish-master/kernel/ |
| H A D | syscall.c | 673 struct sysret sys_identify_cap(struct capability *root, capaddr_t cptr, function
|
Completed in 321 milliseconds