| /barrelfish-master/usr/monitor/ |
| H A D | invocations.c | 82 errval_t monitor_domcap_remote_relations(struct capref croot, capaddr_t cptr, argument
98 capaddr_t cptr = get_cap_addr(cap); local
186 errval_t monitor_get_cap_owner(struct capref croot, capaddr_t cptr, int level, coreid_t *ret_owner) argument
197 errval_t monitor_set_cap_owner(struct capref croot, capaddr_t cptr, int level, coreid_t owner) argument
208 errval_t monitor_lock_cap(struct capref croot, capaddr_t cptr, int level) argument
219 monitor_unlock_cap(struct capref croot, capaddr_t cptr, int level) argument
238 monitor_delete_last(struct capref croot, capaddr_t cptr, int level, struct capref ret_cap) argument
251 capaddr_t cptr = get_cap_addr(cap); local
256 monitor_revoke_mark_target(struct capref croot, capaddr_t cptr, int level) argument
[all...] |
| /barrelfish-master/usr/monitor/include/ |
| H A D | domcap.h | 18 capaddr_t cptr; member in struct:domcapref
|
| /barrelfish-master/kernel/ |
| H A D | syscall.c | 49 sys_dispatcher_setup(struct capability *to, capaddr_t cptr, uint8_t level, argument
534 sys_delete(struct capability *root, capaddr_t cptr, uint8_t level) argument
547 sys_revoke(struct capability *root, capaddr_t cptr, uint8_t level) argument
560 sys_get_state(struct capability *root, capaddr_t cptr, uint8_t level) argument
673 sys_identify_cap(struct capability *root, capaddr_t cptr, uint8_t level, struct capability *out) argument
[all...] |
| H A D | monitor.c | 137 struct sysret sys_monitor_nullify_cap(capaddr_t cptr, uint8_t level) argument
157 struct sysret sys_monitor_domain_id(capaddr_t cptr, domainid_t domain_id) argument
194 struct sysret sys_get_cap_owner(capaddr_t root_addr, uint8_t root_level, capaddr_t cptr, uint8_t level) argument
73 sys_monitor_remote_relations(capaddr_t root_addr, uint8_t root_level, capaddr_t cptr, uint8_t level, uint8_t relations, uint8_t mask) argument
119 sys_monitor_identify_cap(struct capability *root, capaddr_t cptr, uint8_t level, struct capability *retbuf) argument
208 sys_set_cap_owner(capaddr_t root_addr, uint8_t root_level, capaddr_t cptr, uint8_t level, coreid_t owner) argument
415 sys_monitor_delete_foreigns(capaddr_t cptr, uint8_t level) argument
[all...] |
| H A D | capabilities.c | 1243 errval_t caps_lookup_slot(struct capability *rootcn, capaddr_t cptr, argument
1352 errval_t caps_lookup_cap(struct capability *cnode_cap, capaddr_t cptr, argument
|
| /barrelfish-master/kernel/arch/x86_64/ |
| H A D | syscall.c | 60 capaddr_t cptr = args[0]; local
210 capaddr_t cptr = args[0]; local
218 capaddr_t cptr = args[0]; local
226 capaddr_t cptr = args[0]; local
258 capaddr_t cptr = args[0]; local
268 capaddr_t cptr = args[0]; local
585 capaddr_t cptr = args[0]; local
634 capaddr_t cptr = args[2]; local
695 capaddr_t cptr = args[0]; local
940 capaddr_t cptr = args[0]; local
951 capaddr_t cptr = args[2]; local
962 capaddr_t cptr = args[2]; local
974 capaddr_t cptr = args[2]; local
985 capaddr_t cptr = args[2]; local
1001 capaddr_t cptr = args[0]; local
[all...] |
| /barrelfish-master/kernel/arch/x86_32/ |
| H A D | syscall.c | 45 capaddr_t cptr = args[1]; local
187 capaddr_t cptr = args[0]; local
195 capaddr_t cptr = args[0]; local
203 capaddr_t cptr local
407 capaddr_t cptr = args[0]; local
454 capaddr_t cptr = args[2]; local
514 capaddr_t cptr = args[0]; local
553 capaddr_t cptr = args[0]; local
564 capaddr_t cptr = args[2]; local
575 capaddr_t cptr = args[2]; local
587 capaddr_t cptr = args[2]; local
598 capaddr_t cptr = args[2]; local
614 capaddr_t cptr = args[0]; local
[all...] |
| /barrelfish-master/kernel/arch/armv8/ |
| H A D | syscall.c | 224 capaddr_t cptr = (capaddr_t)sa->arg2; local
262 capaddr_t cptr = (capaddr_t)sa->arg2; local
279 capaddr_t cptr = (capaddr_t)sa->arg2; local
548 capaddr_t cptr local
559 capaddr_t cptr = sa->arg4; local
570 capaddr_t cptr = sa->arg4; local
582 capaddr_t cptr = sa->arg4; local
593 capaddr_t cptr = sa->arg4; local
630 capaddr_t cptr = sa->arg4; local
660 capaddr_t cptr = sa->arg2; local
755 capaddr_t cptr = sa->arg2; local
770 capaddr_t cptr = sa->arg4; local
889 capaddr_t cptr = sa->arg2; local
[all...] |
| /barrelfish-master/kernel/arch/armv7/ |
| H A D | syscall.c | 222 capaddr_t cptr = (capaddr_t)sa->arg2; local
262 capaddr_t cptr = (capaddr_t)sa->arg2; local
279 capaddr_t cptr = (capaddr_t)sa->arg2; local
550 capaddr_t cptr local
561 capaddr_t cptr = sa->arg4; local
572 capaddr_t cptr = sa->arg4; local
584 capaddr_t cptr = sa->arg4; local
595 capaddr_t cptr = sa->arg4; local
632 capaddr_t cptr = sa->arg4; local
662 capaddr_t cptr = sa->arg2; local
761 capaddr_t cptr = sa->arg2; local
776 capaddr_t cptr = sa->arg4; local
921 capaddr_t cptr = sa->arg2; local
[all...] |
| /barrelfish-master/lib/pcre/ |
| H A D | pcre_compile.c | 4139 get_othercase_range(pcre_uint32 *cptr, pcre_uint32 d, pcre_uint32 *ocptr, argument
|
| /barrelfish-master/lib/libc/rpc/ |
| H A D | rpcb_clnt.c | 153 struct address_cache *cptr; local
173 struct address_cache *cptr, *prevptr = NULL; local
199 struct address_cache *ad_cache, *cptr, *prevptr; local
[all...] |
| /barrelfish-master/lib/libc/nls/ |
| H A D | msgcat.c | 117 char *base, *cptr, *cptr1, *nlspath, *pathP, *pcode; local
[all...] |
| /barrelfish-master/lib/libc/gen/ |
| H A D | getnetgrent.c | 459 const char *cptr; local
|
| /barrelfish-master/lib/dmalloc/ |
| H A D | dmalloc.c | 1669 char* cptr = (char*)ptr; local
|