Searched refs:cnode_cap (Results 1 - 11 of 11) sorted by last modified time
| /barrelfish-2018-10-04/usr/monitor/ |
| H A D | send_cap.c | 57 struct capability cnode_cap; local
58 err = invoke_monitor_identify_cap(cnaddr, cnlevel, &cnode_cap);
62 if (cnode_cap.type != ObjType_L1CNode &&
63 cnode_cap.type != ObjType_L2CNode) {
|
| /barrelfish-2018-10-04/lib/spawndomain/arch/arm/ |
| H A D | spawn_arch.c | 162 struct capref cnode_cap = { local
174 err = cap_copy(cnode_cap, local_cnode_cap);
|
| /barrelfish-2018-10-04/lib/spawndomain/arch/x86/ |
| H A D | spawn_arch.c | 236 struct capref cnode_cap = { local
249 err = cap_copy(cnode_cap, local_cnode_cap);
|
| /barrelfish-2018-10-04/lib/spawndomain/arch/aarch64/ |
| H A D | spawn_arch.c | 162 struct capref cnode_cap = { local
175 err = cap_copy(cnode_cap, local_cnode_cap);
|
| /barrelfish-2018-10-04/lib/mm/ |
| H A D | slot_alloc.c | 43 struct capref cnode_cap; local
44 err = slot_alloc_root(&cnode_cap);
52 err = slot_alloc_root(&cnode_cap);
58 err = cnode_create_from_mem(cnode_cap, ram_cap, ObjType_L2CNode,
|
| /barrelfish-2018-10-04/lib/bulk_transfer/ |
| H A D | bulk_pool.h | 23 struct capref cnode_cap; ///< capability of the buffers cnode member in struct:bulk_pool_internal
|
| H A D | bulk_pool.c | 396 cap_destroy(pool_int->cnode_cap);
490 err = cnode_create(&pool_int->cnode_cap, &buf_cap.cnode,
530 err = cnode_create(&pool_int->cnode_cap, &buf_cap.cnode,
|
| /barrelfish-2018-10-04/lib/barrelfish/slot_alloc/ |
| H A D | range_slot_alloc.c | 244 err = cnode_create_l2(&ret->cnode_cap, &ret->cnode);
|
| /barrelfish-2018-10-04/kernel/include/ |
| H A D | capabilities.h | 150 errval_t caps_lookup_cap(struct capability *cnode_cap, capaddr_t cptr,
|
| /barrelfish-2018-10-04/kernel/ |
| H A D | capabilities.c | 1119 "Passed rights = %u, cnode_cap->rights = %u\n",
1158 "Passed rights = %u, cnode_cap->rights = %u\n",
1179 errval_t caps_lookup_cap(struct capability *cnode_cap, capaddr_t cptr, argument
1185 errval_t err = caps_lookup_slot(cnode_cap, cptr, level, &ret_cte, rights);
|
| /barrelfish-2018-10-04/include/barrelfish/ |
| H A D | slot_alloc.h | 66 struct capref cnode_cap; ///< capref for the L1 cnode member in struct:range_slot_allocator
|
Completed in 64 milliseconds