Searched defs:cnode_cap (Results 1 - 8 of 8) sorted by relevance

/barrelfish-2018-10-04/lib/bulk_transfer/
H A Dbulk_pool.h23 struct capref cnode_cap; ///< capability of the buffers cnode member in struct:bulk_pool_internal
/barrelfish-2018-10-04/lib/mm/
H A Dslot_alloc.c43 struct capref cnode_cap; local
/barrelfish-2018-10-04/include/barrelfish/
H A Dslot_alloc.h66 struct capref cnode_cap; ///< capref for the L1 cnode member in struct:range_slot_allocator
/barrelfish-2018-10-04/usr/monitor/
H A Dsend_cap.c57 struct capability cnode_cap; local
/barrelfish-2018-10-04/lib/spawndomain/arch/aarch64/
H A Dspawn_arch.c162 struct capref cnode_cap = { local
/barrelfish-2018-10-04/lib/spawndomain/arch/arm/
H A Dspawn_arch.c162 struct capref cnode_cap = { local
/barrelfish-2018-10-04/lib/spawndomain/arch/x86/
H A Dspawn_arch.c236 struct capref cnode_cap = { local
/barrelfish-2018-10-04/kernel/
H A Dcapabilities.c1179 errval_t caps_lookup_cap(struct capability *cnode_cap, capaddr_t cptr, argument

Completed in 100 milliseconds