| /barrelfish-2018-10-04/kernel/arch/armv7/ |
| H A D | syscall.c | 248 capaddr_t cptr = (capaddr_t)sa->arg2; local
288 capaddr_t cptr = (capaddr_t)sa->arg2; local
305 capaddr_t cptr = (capaddr_t)sa->arg2; local
595 capaddr_t cptr local
606 capaddr_t cptr = sa->arg4; local
617 capaddr_t cptr = sa->arg4; local
629 capaddr_t cptr = sa->arg4; local
640 capaddr_t cptr = sa->arg4; local
677 capaddr_t cptr = sa->arg4; local
707 capaddr_t cptr = sa->arg2; local
796 capaddr_t cptr = sa->arg2; local
811 capaddr_t cptr = sa->arg4; local
[all...] |
| /barrelfish-2018-10-04/kernel/arch/armv8/ |
| H A D | syscall.c | 251 capaddr_t cptr = (capaddr_t)sa->arg2; local
289 capaddr_t cptr = (capaddr_t)sa->arg2; local
306 capaddr_t cptr = (capaddr_t)sa->arg2; local
558 capaddr_t cptr local
569 capaddr_t cptr = sa->arg4; local
580 capaddr_t cptr = sa->arg4; local
592 capaddr_t cptr = sa->arg4; local
603 capaddr_t cptr = sa->arg4; local
640 capaddr_t cptr = sa->arg4; local
670 capaddr_t cptr = sa->arg2; local
755 capaddr_t cptr = sa->arg2; local
770 capaddr_t cptr = sa->arg4; local
[all...] |
| /barrelfish-2018-10-04/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-2018-10-04/kernel/arch/x86_64/ |
| H A D | syscall.c | 52 capaddr_t cptr = args[0]; local
202 capaddr_t cptr = args[0]; local
210 capaddr_t cptr = args[0]; local
218 capaddr_t cptr = args[0]; local
250 capaddr_t cptr = args[0]; local
419 capaddr_t cptr = args[0]; local
468 capaddr_t cptr = args[2]; local
529 capaddr_t cptr = args[0]; local
767 capaddr_t cptr = args[0]; local
778 capaddr_t cptr = args[2]; local
789 capaddr_t cptr = args[2]; local
801 capaddr_t cptr = args[2]; local
812 capaddr_t cptr = args[2]; local
828 capaddr_t cptr = args[0]; local
[all...] |
| /barrelfish-2018-10-04/kernel/ |
| H A D | capabilities.c | 1070 errval_t caps_lookup_slot(struct capability *rootcn, capaddr_t cptr, argument
1179 errval_t caps_lookup_cap(struct capability *cnode_cap, capaddr_t cptr, argument
|
| 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 | syscall.c | 49 sys_dispatcher_setup(struct capability *to, capaddr_t cptr, uint8_t level, argument
486 sys_delete(struct capability *root, capaddr_t cptr, uint8_t level) argument
499 sys_revoke(struct capability *root, capaddr_t cptr, uint8_t level) argument
512 sys_get_state(struct capability *root, capaddr_t cptr, uint8_t level) argument
[all...] |
| /barrelfish-2018-10-04/lib/dmalloc/ |
| H A D | dmalloc.c | 1669 char* cptr = (char*)ptr; local
|
| /barrelfish-2018-10-04/lib/libc/gen/ |
| H A D | getnetgrent.c | 459 const char *cptr; local
|
| /barrelfish-2018-10-04/lib/libc/nls/ |
| H A D | msgcat.c | 117 char *base, *cptr, *cptr1, *nlspath, *pathP, *pcode; local
[all...] |
| /barrelfish-2018-10-04/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-2018-10-04/lib/pcre/ |
| H A D | pcre_compile.c | 4139 get_othercase_range(pcre_uint32 *cptr, pcre_uint32 d, pcre_uint32 *ocptr, argument
|
| /barrelfish-2018-10-04/usr/monitor/include/ |
| H A D | domcap.h | 18 capaddr_t cptr; member in struct:domcapref
|
| /barrelfish-2018-10-04/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...] |