| /barrelfish-master/usr/monitor/include/arch/arm/ |
| H A D | monitor_invocations_arch.h | 26 invoke_monitor_create_cap(uint64_t *raw, capaddr_t caddr, int level, capaddr_t slot, coreid_t owner) argument
|
| /barrelfish-master/usr/monitor/include/arch/aarch64/ |
| H A D | monitor_invocations_arch.h | 26 invoke_monitor_create_cap(uint64_t *raw, capaddr_t caddr, int level, capaddr_t slot, coreid_t owner) argument
|
| /barrelfish-master/usr/monitor/include/arch/x86_64/ |
| H A D | monitor_invocations_arch.h | 23 invoke_monitor_create_cap(uint64_t *raw, capaddr_t caddr, int level, capaddr_t slot, coreid_t owner) argument
|
| /barrelfish-master/usr/kaluga/ |
| H A D | device_caps.c | 138 capaddr_t caddr = get_cnode_addr(dest); local
|
| H A D | armv8_imx8x.c | 57 invoke_monitor_create_cap(uint64_t *raw, capaddr_t caddr, int level, capaddr_t slot, coreid_t owner) argument
72 capaddr_t caddr = get_cnode_addr(*devframe); local
|
| /barrelfish-master/include/barrelfish/ |
| H A D | capabilities.h | 186 capaddr_t caddr = get_cap_addr(cap); local
|
| /barrelfish-master/lib/barrelfish/ |
| H A D | debug.c | 76 capaddr_t caddr = get_cap_addr(cap); local
|
| H A D | capabilities.c | 380 capaddr_t caddr = get_cap_addr(cap); local
408 capaddr_t caddr = get_cap_addr(cap); local
|
| /barrelfish-master/usr/monitor/include/ |
| H A D | monitor_invocations.h | 39 invoke_monitor_cap_has_relations(capaddr_t caddr, uint8_t level, uint8_t mask, argument
|
| /barrelfish-master/usr/monitor/ |
| H A D | invocations.c | 39 capaddr_t caddr = get_cap_addr(cap); local
110 capaddr_t caddr = get_cap_addr(cap); local
120 capaddr_t caddr = get_cap_addr(cap); local
135 capaddr_t caddr = get_cnode_addr(dest); local
176 capaddr_t caddr local
[all...] |
| H A D | monitor_rpc_server.c | 680 capaddr_t caddr = get_cap_addr(ep); local
|
| /barrelfish-master/kernel/ |
| H A D | monitor.c | 47 struct sysret sys_cap_has_relations(capaddr_t caddr, uint8_t level, argument
|
| /barrelfish-master/usr/monitor/include/arch/x86_32/ |
| H A D | monitor_invocations_arch.h | 41 invoke_monitor_cap_has_relations(capaddr_t caddr, uint8_t bits, uint8_t mask, argument
88 invoke_monitor_create_cap(uint64_t *raw, capaddr_t caddr, int bits, argument
|
| /barrelfish-master/kernel/arch/armv7/ |
| H A D | syscall.c | 472 capaddr_t caddr = sa->arg2; local
620 capaddr_t caddr = sa->arg2; local
|
| /barrelfish-master/kernel/arch/armv8/ |
| H A D | syscall.c | 470 capaddr_t caddr = sa->arg2; local
618 capaddr_t caddr = sa->arg2; local
|
| /barrelfish-master/kernel/arch/x86_32/ |
| H A D | syscall.c | 330 capaddr_t caddr = args[0]; local
442 capaddr_t caddr = args[0]; local
|
| /barrelfish-master/kernel/arch/x86_64/ |
| H A D | syscall.c | 513 capaddr_t caddr = args[0]; local
622 capaddr_t caddr = args[0]; local
|