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

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

Completed in 111 milliseconds