/barrelfish-2018-10-04/lib/barrelfish/ |
H A D | msgbuf.c | 219 errval_t msgbuf_marshall_cap(struct msgbuf *msgbuf, struct capref cap) argument
|
H A D | sys_debug.c | 96 errval_t sys_debug_create_irq_src_cap(struct capref cap, uint64_t start, argument
|
H A D | debug.c | 63 invoke_kernel_identify_cap(capaddr_t cap, int level, struct capability *out) argument 69 errval_t debug_cap_identify(struct capref cap, struct capability *ret) argument 136 debug_print_cap(char *buf, size_t len, struct capability *cap) argument 337 debug_print_cap_at_capref(char *buf, size_t len, struct capref cap) argument 359 struct capability cap; local 442 debug_print_capref(char *buf, size_t len, struct capref cap) argument [all...] |
/barrelfish-2018-10-04/lib/barrelfish/slot_alloc/ |
H A D | single_slot_alloc.c | 148 static errval_t sfree(struct slot_allocator *ca, struct capref cap) argument 251 struct capref cap; local 203 single_slot_alloc_init_raw(struct single_slot_allocator *ret, struct capref cap, struct cnoderef cnode, cslot_t nslots, void *buf, size_t buflen) argument
|
/barrelfish-2018-10-04/lib/devif/backends/net/mlx4/include/rdma/ |
H A D | ib_verbs_exp.h | 80 struct ib_qp_cap cap; member in struct:ib_exp_qp_init_attr
|
/barrelfish-2018-10-04/lib/devif/ |
H A D | queue_interface.c | 211 devq_register(struct devq *q, struct capref cap, regionid_t* region_id) argument 248 devq_deregister(struct devq *q, regionid_t region_id, struct capref* cap) argument [all...] |
/barrelfish-2018-10-04/lib/dma/ |
H A D | dma_mem_mgr.c | 40 struct capref cap; ///< capability backing this region member in struct:dma_mem_node 254 dma_mem_register(struct dma_mem_mgr *mem_mgr, struct capref cap) argument 310 dma_mem_deregister(struct dma_mem_mgr *mem_mgr, struct capref cap) argument
|
/barrelfish-2018-10-04/usr/mem_serv_dist/ |
H A D | hybrid_support.c | 47 struct capref *acap, cap; member in struct:pending_reply 55 struct capref *cap = arg; local 221 struct capref cap; local 249 struct capref *cap = malloc(sizeof(struct capref)); local [all...] |
H A D | steal.c | 220 void try_steal(errval_t *ret, struct capref *cap, uint8_t bits, argument 266 struct capref cap; local [all...] |
/barrelfish-2018-10-04/usr/monitor/capops/ |
H A D | move.c | 73 move_request(struct domcapref capref, struct capability *cap, uint8_t relations, argument 166 struct capref *cap = (struct capref*)arg; local 183 struct capability cap; local 305 struct capability cap; local [all...] |
/barrelfish-2018-10-04/usr/monitor/include/arch/x86_64/ |
H A D | monitor_invocations_arch.h | 58 invoke_trace_setup(struct capref cap) argument 65 invoke_domain_id(struct capref cap, domainid_t domain_id) argument
|
/barrelfish-2018-10-04/usr/monitor/ |
H A D | ram_alloc.c | 28 struct capref *cap = (struct capref*)st; local 52 struct capref *cap = NULL; local 129 struct capref cap; local [all...] |
/barrelfish-2018-10-04/usr/pci/ |
H A D | pci_msix.c | 101 uint32_t cap[3]; local 125 uint32_t cap[3]; local [all...] |
/barrelfish-2018-10-04/usr/tests/devif/ |
H A D | idc_endpoint.c | 112 static errval_t reg(struct descq* q, struct capref cap, argument
|
/barrelfish-2018-10-04/usr/tests/flounderbootstrap/ |
H A D | flounderbootstrap.c | 47 struct capref cap; member in struct:tx_msg_st 107 rx_init(struct flounderbootstrap_binding *b, struct capref cap) argument
|
/barrelfish-2018-10-04/lib/dma/ioat/ |
H A D | ioat_dma_device.c | 71 ioat_dma_dmacapability_t cap = ioat_dma_dmacapability_rd(&dev->device); local [all...] |
/barrelfish-2018-10-04/lib/net_device_manager/ |
H A D | soft_filt_cl_impl.c | 230 static void register_filter_memory(struct capref cap) argument
|
/barrelfish-2018-10-04/include/procon/ |
H A D | procon.h | 66 struct capref cap; member in struct:shared_pool_private
|
/barrelfish-2018-10-04/lib/skb/ |
H A D | skb_sscanf.c | 386 struct capref* cap = va_arg(ap, struct capref*); local
|
/barrelfish-2018-10-04/usr/drivers/cpuboot/ |
H A D | common.c | 159 errval_t cap_mark_remote(struct capref cap) argument
|
/barrelfish-2018-10-04/usr/drivers/e1000/ |
H A D | devif_backend_e1000.c | 56 static errval_t e1000_register(struct devq* q, struct capref cap, argument
|
/barrelfish-2018-10-04/usr/drivers/megaraid/ |
H A D | megaraid_vsic.c | 103 struct capref cap = NULL_CAP; local
|
/barrelfish-2018-10-04/usr/drivers/vbe/ |
H A D | vbe.c | 132 errval_t vbe_get_framebuffer_cap(struct capref *cap, size_t *retoffset) argument
|
/barrelfish-2018-10-04/usr/drivers/xeon_phi/ |
H A D | xeon_phi_internal.h | 93 struct capref cap; ///< capability of the mbar member in struct:mbar
|
/barrelfish-2018-10-04/include/barrelfish/ |
H A D | capabilities.h | 161 static inline errval_t cap_get_state(struct capref cap, distcap_state_t *state) argument [all...] |