/barrelfish-2018-10-04/lib/barrelfish/vspace/ |
H A D | vspace.c | 49 struct capref cap = { local
|
/barrelfish-2018-10-04/lib/bulk_transfer/ |
H A D | bulk_buffer.c | 278 bulk_buffer_assign_cap(struct bulk_buffer *buffer, struct capref cap, size_t cap_offset) argument [all...] |
/barrelfish-2018-10-04/lib/devif/backends/loopback/ |
H A D | loopback_queue.c | 101 static errval_t loopback_register(struct devq *q, struct capref cap, argument
|
/barrelfish-2018-10-04/lib/devif/backends/null/ |
H A D | devif_backend_null.c | 23 static errval_t null_register(struct devq* q, struct capref cap, argument
|
/barrelfish-2018-10-04/lib/devif/ |
H A D | region_pool.c | 82 struct capref cap; local 160 region_pool_add_region(struct region_pool* pool, struct capref cap, regionid_t* region_id) argument 246 region_pool_add_region_with_id(struct region_pool* pool, struct capref cap, regionid_t region_id) argument 285 region_pool_remove_region(struct region_pool* pool, regionid_t region_id, struct capref* cap) argument [all...] |
/barrelfish-2018-10-04/usr/init/ |
H A D | init.c | 64 struct capref cap; local
|
/barrelfish-2018-10-04/usr/mem_serv_dist/ |
H A D | thc_support.c | 65 struct capref cap; local 78 struct capref cap; local
|
/barrelfish-2018-10-04/usr/monitor/capops/ |
H A D | retrieve.c | 22 struct domcapref cap; member in struct:retrieve_rpc_st 47 capops_retrieve(struct domcapref cap, argument 172 struct capref cap; local [all...] |
/barrelfish-2018-10-04/usr/monitor/include/ |
H A D | monitor.h | 80 struct capability cap; member in union:capability_caprep_u 88 static inline void capability_to_caprep(struct capability *cap, argument 102 struct capability cap; local 94 caprep_to_capability(intermon_caprep_t *caprep, struct capability *cap) argument 112 struct capability cap; local [all...] |
/barrelfish-2018-10-04/usr/monitor/ |
H A D | send_cap.c | 33 captx_prepare_send(struct capref cap, coreid_t dest, bool give_away, argument 88 struct capref cap; local
|
/barrelfish-2018-10-04/usr/tests/capops/ |
H A D | retype.c | 75 struct capref cap, cap2, cnram, cncap; local 165 struct capref cap, cap2; local 232 struct capref cap, cap2; local 297 struct capref cap; local [all...] |
/barrelfish-2018-10-04/usr/tests/distops/ |
H A D | delete.c | 21 static void debug_capref(const char *prefix, struct capref cap) argument 60 void server_do_test(struct test_binding *b, uint32_t test, struct capref cap) argument 106 struct capref cap; member in struct:client_state 127 struct capref cap = cst->cap; local 139 client_do_test(struct test_binding *b, uint32_t test, struct capref cap) argument [all...] |
H A D | retype.c | 21 static void debug_capref(const char *prefix, struct capref cap) argument 64 void server_do_test(struct test_binding *b, uint32_t test, struct capref cap) argument 141 client_do_test(struct test_binding *b, uint32_t test, struct capref cap) argument [all...] |
H A D | revoke.c | 22 static void debug_capref(const char *prefix, struct capref cap) argument 58 void server_do_test(struct test_binding *b, uint32_t test, struct capref cap) argument 129 client_do_test(struct test_binding *b, uint32_t test, struct capref cap) argument [all...] |
/barrelfish-2018-10-04/lib/driverkit/ |
H A D | ddomain_client.c | 74 errval_t ddomain_driver_add_cap(struct driver_instance* drv, struct capref cap) { argument
|
/barrelfish-2018-10-04/lib/hashtable/ |
H A D | hashtable.c | 116 ht_put_capability(struct dictionary *dict, char *key, struct capref cap) argument
|
/barrelfish-2018-10-04/kernel/ |
H A D | cap_delete.c | 119 struct capability *cap = &cte->cap; local 171 struct capability *cap = &cte->cap; local 211 struct capability *cap = &cte->cap; local [all...] |
H A D | paging_generic.c | 26 static inline errval_t find_mapping_for_cap(struct cte *cap, struct cte **mapping) argument 107 create_mapping_cap(struct cte *mapping_cte, struct capability *cap, struct cte *ptable, cslot_t entry, size_t pte_count) argument [all...] |
/barrelfish-2018-10-04/lib/virtio/guest/ |
H A D | channel_flounder.c | 132 request_mem(uint64_t size, struct capref *cap) argument
|
/barrelfish-2018-10-04/lib/virtio/ |
H A D | vbuffer.c | 142 virtio_buffer_alloc_init_vq(struct virtio_buffer_allocator **bf, struct capref cap, lvaddr_t vaddr, lpaddr_t offset, size_t bufsize, size_t bufcount) argument
|
/barrelfish-2018-10-04/usr/bench/bulk_sdma/ |
H A D | main.c | 47 errval_t vspace_map_whole_frame(void **retbuf, struct capref cap) argument
|
/barrelfish-2018-10-04/usr/bench/shared_mem_clock/ |
H A D | bench.c | 131 static void shmc_init_reply(struct bench_binding *b, struct capref cap) argument
|
/barrelfish-2018-10-04/usr/drivers/xeon_phi/ |
H A D | dma_service.c | 118 dma_svc_addregion_cb(dma_svc_handle_t svc_handle, struct capref cap) argument 137 dma_svc_removeregion_cb(dma_svc_handle_t svc_handle, struct capref cap) argument
|
/barrelfish-2018-10-04/include/barrelfish/ |
H A D | caddr.h | 113 static inline uint8_t get_cap_level(struct capref cap) argument 125 static inline capaddr_t get_cap_addr(struct capref cap) argument 146 get_cnode_level(struct capref cap) argument 154 get_cnode_addr(struct capref cap) argument 171 get_croot_addr(struct capref cap) argument 176 get_croot_capref(struct capref cap) argument 216 build_cnoderef(struct capref cap, enum cnode_type cntype) argument [all...] |
H A D | lmp_chan.h | 127 lmp_chan_recv(struct lmp_chan *lc, struct lmp_recv_msg *msg, struct capref *cap) argument
|