Searched refs:sys_revoke (Results 1 - 6 of 6) sorted by path
/barrelfish-master/kernel/arch/armv7/ |
H A D | syscall.c | 265 return sys_revoke(root, cptr, level);
|
/barrelfish-master/kernel/arch/armv8/ |
H A D | syscall.c | 265 return sys_revoke(root, cptr, bits);
|
/barrelfish-master/kernel/arch/x86_32/ |
H A D | syscall.c | 197 return sys_revoke(root, cptr, bits);
|
/barrelfish-master/kernel/arch/x86_64/ |
H A D | syscall.c | 220 return sys_revoke(root, cptr, level);
|
/barrelfish-master/kernel/include/ |
H A D | syscall.h | 60 struct sysret sys_revoke(struct capability *root, capaddr_t cptr, uint8_t level);
|
/barrelfish-master/kernel/ |
H A D | syscall.c | 547 struct sysret sys_revoke(struct capability *root, capaddr_t cptr, uint8_t level) function
|
Completed in 93 milliseconds