/barrelfish-2018-10-04/lib/barrelfish/arch/x86_32/ |
H A D | pmap.c | 353 struct capref cap; local [all...] |
/barrelfish-2018-10-04/lib/barrelfish/arch/x86_64/ |
H A D | pmap.c | 519 struct capref cap; local [all...] |
/barrelfish-2018-10-04/lib/barrelfish/ |
H A D | capabilities.c | 372 cap_delete(struct capref cap) argument 397 cap_revoke(struct capref cap) argument 418 cap_destroy(struct capref cap) argument 909 struct capability cap; local [all...] |
H A D | spawn_client.c | 174 struct capref cap; local [all...] |
H A D | domain.c | 825 errval_t domain_send_cap(coreid_t core_id, struct capref cap) argument 112 send_cap_request(struct interdisp_binding *st, struct capref cap, genvaddr_t info) argument
|
/barrelfish-2018-10-04/lib/devif/backends/net/e10k/ |
H A D | e10k_queue.h | 45 struct capref cap; member in struct:region_entry
|
/barrelfish-2018-10-04/usr/monitor/capops/ |
H A D | capsend.c | 131 capsend_mc_init(struct capsend_mc_st *mc_st, struct capability *cap, argument 277 capsend_find_cap(struct capability *cap, capsend_find_cap_result_fn result_handler, void *st) argument 359 struct capability cap; local 160 capsend_broadcast(struct capsend_mc_st *bc_st, struct capsend_destset *dests, struct capability *cap, capsend_send_fn send_cont) argument 445 struct capability cap; local 507 struct capability cap; local 593 struct capability cap; local 662 struct capability cap; local 740 struct capability cap; local 867 struct capability cap; local 913 capsend_copies(struct capability *cap, capsend_send_fn send_fn, struct capsend_mc_st *mc_st) argument 923 capsend_relations(struct capability *cap, capsend_send_fn send_fn, struct capsend_mc_st *mc_st, struct capsend_destset *dests) argument [all...] |
/barrelfish-2018-10-04/usr/monitor/ |
H A D | inter.c | 181 cap_receive_request_enqueue(struct monitor_binding *domain_binding, uintptr_t domain_id, errval_t msgerr, struct capref cap, uint32_t capid, uintptr_t your_mon_id, struct intermon_binding *b, bool first) argument 215 cap_receive_request_cont(struct monitor_binding *domain_binding, uintptr_t domain_id, errval_t msgerr, struct capref cap, uint32_t capid, uintptr_t your_mon_id, struct intermon_binding *b, bool first) argument 266 cap_send_request_caprecv_cont(errval_t err, struct captx_recv_state *captx_st, struct capref cap, void *st_) argument [all...] |
/barrelfish-2018-10-04/usr/net_socket_server/ |
H A D | net_sockets_server.c | 774 static errval_t q_reg(struct descq* q, struct capref cap, argument
|
/barrelfish-2018-10-04/usr/skb/testapps/ |
H A D | map.c | 373 skb_map_share_page_c(struct skb_map_client_response *cc, struct capref cap, uint64_t pagenumber) argument 378 skb_map_share_page_s(struct skb_map_service_response *cc, struct capref cap, uint64_t pagenumber) argument
|
/barrelfish-2018-10-04/usr/spawnd/ |
H A D | service.c | 572 static void cleanup_cap(struct capref cap) argument
|
/barrelfish-2018-10-04/lib/mdb/ |
H A D | mdb_tree.c | 178 struct capability *cap = C(cte); local 869 mdb_sub_find_equal(struct capability *cap, struct cte *current) argument 889 mdb_find_equal(struct capability *cap) argument 895 mdb_sub_find_less(struct capability *cap, struct cte *current, bool equal_ok, bool tiebreak) argument 930 mdb_find_less(struct capability *cap, bool equal_ok) argument 936 mdb_sub_find_greater(struct capability *cap, struct cte *current, bool equal_ok, bool tiebreak) argument 972 mdb_find_greater(struct capability *cap, bool equal_ok) argument [all...] |
/barrelfish-2018-10-04/lib/net_queue_manager/ |
H A D | queue_manager.c | 352 static errval_t register_region(struct descq* q, struct capref cap, argument 291 populate_buffer(struct client_closure *closure, struct buffer_descriptor *buffer, struct capref cap) argument [all...] |
/barrelfish-2018-10-04/kernel/arch/armv7/ |
H A D | syscall.c | 863 dispatcher_dump_capabilities(struct capability *cap, arch_registers_state_t* context, int argc) argument [all...] |
/barrelfish-2018-10-04/kernel/arch/armv8/ |
H A D | syscall.c | 819 dispatcher_dump_capabilities(struct capability *cap, arch_registers_state_t* context, int argc) argument [all...] |
/barrelfish-2018-10-04/kernel/ |
H A D | syscall.c | 752 sys_idcap_identify(struct capability *cap, idcap_id_t *id) argument [all...] |
/barrelfish-2018-10-04/lib/virtio/ |
H A D | virtqueue.c | 703 vring_init_from_cap(struct vring *vr, uint16_t num, uintptr_t align, struct capref cap) argument
|
/barrelfish-2018-10-04/usr/acpi/ |
H A D | intel_vtd.c | 187 static inline genpaddr_t pml4_base(struct capref cap) argument
|
/barrelfish-2018-10-04/usr/arrakismon/ |
H A D | guest.c | 175 struct capref cap; local
|
/barrelfish-2018-10-04/usr/drivers/cpuboot/arch/armv8/ |
H A D | boot_arch.c | 171 struct capref cap; member in struct:mem_info [all...] |
/barrelfish-2018-10-04/usr/drivers/megaraid/ |
H A D | megaraid.c | 224 errval_t invoke_frame_identify(struct capref cap, struct frame_identity *id) argument 233 struct capref cap; local 283 struct capref cap; local 812 struct capref cap; local 840 struct capref cap; local 1119 struct capref cap; local [all...] |
/barrelfish-2018-10-04/usr/drivers/xeon_phi/ |
H A D | interphi.c | 666 struct capref cap; local 1334 interphi_spawn_with_cap(struct xnode *node, uint8_t core, char *cmdline, size_t cmdlen, uint8_t flags, struct capref cap, uint64_t *domain) argument
|
/barrelfish-2018-10-04/include/arch/x86_32/barrelfish/ |
H A D | invocations_arch.h | 74 static inline errval_t invoke_cnode_retype(struct capref root, capaddr_t cap, argument 224 invoke_cnode_delete(struct capref root, capaddr_t cap, int bits) argument 236 invoke_cnode_revoke(struct capref root, capaddr_t cap, int bits) argument 248 invoke_cnode_get_state(struct capref root, capaddr_t cap, int bits, distcap_state_t *ret) argument 308 invoke_vnode_unmap(struct capref cap, capaddr_t mapping_cptr, int mapping_bits) argument [all...] |
/barrelfish-2018-10-04/lib/devif/backends/net/mlx4/drivers/net/mlx4/ |
H A D | mlx4_devif_queue.c | 2157 static errval_t mlx4_register(struct devq* q, struct capref cap, argument
|
/barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/rxspencer/ |
H A D | regcomp.c | 868 register cat_t *cap = p->g->categories; local
|