Searched refs:rootcn (Results 1 - 13 of 13) sorted by relevance
/barrelfish-2018-10-04/usr/arrakismon/ |
H A D | ps.h | 35 struct cnoderef rootcn; member in struct:ps_entry
|
H A D | vmkitmon.c | 164 * created by placing rootcn into its own address space becomes a 170 pe->rootcn = si.rootcn;
|
/barrelfish-2018-10-04/kernel/ |
H A D | startup.c | 140 struct cte *rootcn = &kcb_current->init_rootcn; local 154 rootcn); 157 // on BSP core: Add BSP KCB to rootcn 166 // find slot in init rootcn 167 struct cte *bspkcb = caps_locate_slot(CNODE(rootcn), ROOTCN_SLOT_BSPKCB); 173 st->taskcn = caps_locate_slot(CNODE(rootcn), ROOTCN_SLOT_TASKCN); 180 st->pagecn = caps_locate_slot(CNODE(rootcn), ROOTCN_SLOT_PAGECN); 187 st->basepagecn = caps_locate_slot(CNODE(rootcn), ROOTCN_SLOT_BASE_PAGE_CN); 194 st->supercn = caps_locate_slot(CNODE(rootcn), ROOTCN_SLOT_SUPERCN); 204 st->slot_alloc_cn0 = caps_locate_slot(CNODE(rootcn), ROOTCN_SLOT_SLOT_ALLOC [all...] |
H A D | capabilities.c | 1068 * Look up a capability in two-level cspace rooted at `rootcn`. 1070 errval_t caps_lookup_slot(struct capability *rootcn, capaddr_t cptr, argument 1080 assert(rootcn != NULL); 1092 // for rootcn. 1094 *ret = cte_for_cap(rootcn); 1099 if (rootcn->type != ObjType_L1CNode) { 1100 debug(SUBSYS_CAPS, "%s: rootcn->type = %d, called from %p\n", 1101 __FUNCTION__, rootcn->type, 1107 assert(rootcn->type == ObjType_L1CNode); 1109 if (l1index >= cnode_get_slots(rootcn)) { [all...] |
/barrelfish-2018-10-04/usr/init/ |
H A D | spawn.c | 30 .cnode = si->rootcn, 57 dest.cnode = si->rootcn; 97 dest.cnode = si->rootcn; 107 dest.cnode = si->rootcn;
|
/barrelfish-2018-10-04/usr/spawnd/ |
H A D | ps.h | 43 struct cnoderef rootcn; member in struct:ps_entry
|
H A D | service.c | 179 * created by placing rootcn into its own address space becomes a 185 pe->rootcn = si.rootcn; 530 * created by placing rootcn into its own address space becomes a 537 pe->rootcn = si.rootcn;
|
/barrelfish-2018-10-04/include/spawndomain/ |
H A D | spawndomain.h | 27 struct cnoderef rootcn __attribute__ ((aligned(4))); member in struct:spawninfo
|
/barrelfish-2018-10-04/kernel/include/ |
H A D | capabilities.h | 152 errval_t caps_lookup_slot(struct capability *rootcn, capaddr_t cptr,
|
/barrelfish-2018-10-04/lib/spawndomain/arch/aarch64/ |
H A D | spawn_arch.c | 163 .cnode = si->rootcn,
|
/barrelfish-2018-10-04/lib/spawndomain/arch/arm/ |
H A D | spawn_arch.c | 163 .cnode = si->rootcn,
|
/barrelfish-2018-10-04/lib/spawndomain/ |
H A D | spawn.c | 42 err = cnode_create_l1(&si->rootcn_cap, &si->rootcn); 119 // Create basecn in our rootcn so we can copy stuff in there 162 si->pagecn_cap.cnode = si->rootcn; 677 .cnode = si->rootcn, 1016 t1.cnode = si->rootcn;
|
/barrelfish-2018-10-04/lib/spawndomain/arch/x86/ |
H A D | spawn_arch.c | 237 .cnode = si->rootcn,
|
Completed in 182 milliseconds