Searched refs:rootcn_cap (Results 1 - 8 of 8) sorted by path

/barrelfish-master/include/spawndomain/
H A Dspawndomain.h31 struct capref rootcn_cap __attribute__ ((aligned(4))); member in struct:spawninfo
/barrelfish-master/kernel/
H A Dsyscall.c655 struct cte *rootcn_cap = caps_locate_slot(get_address(&taskcn->cap), local
657 assert(rootcn_cap == cte_for_cap(root));
658 err = caps_delete(rootcn_cap);
662 err = caps_copy_to_cte(rootcn_cap, newroot, false, 0, 0);
/barrelfish-master/lib/spawndomain/
H A Dspawn.c42 err = cnode_create_l1(&si->rootcn_cap, &si->rootcn);
48 err = cnode_create_foreign_l2(si->rootcn_cap, ROOTCN_SLOT_TASKCN, &si->taskcn);
54 err = cnode_create_foreign_l2(si->rootcn_cap, ROOTCN_SLOT_SLOT_ALLOC0, NULL);
58 err = cnode_create_foreign_l2(si->rootcn_cap, ROOTCN_SLOT_SLOT_ALLOC1, NULL);
62 err = cnode_create_foreign_l2(si->rootcn_cap, ROOTCN_SLOT_SLOT_ALLOC2, NULL);
66 err = cnode_create_foreign_l2(si->rootcn_cap, ROOTCN_SLOT_ROOT_MAPPING, NULL);
103 err = cap_copy(t1, si->rootcn_cap);
124 err = cnode_create_foreign_l2(si->rootcn_cap, ROOTCN_SLOT_BASE_PAGE_CN, &basecn);
156 err = cnode_create_foreign_l2(si->rootcn_cap, ROOTCN_SLOT_EARLY_CN_CN, &earlycn);
191 err = cnode_create_foreign_l2(si->rootcn_cap, ROOTCN_SLOT_PAGEC
[all...]
/barrelfish-master/usr/arrakismon/
H A Dguest.c907 err = invoke_dispatcher(si->dcb, cap_dispatcher, si->rootcn_cap,
H A Dps.h34 struct capref rootcn_cap, dcb; member in struct:ps_entry
H A Dvmkitmon.c172 err = slot_alloc(&pe->rootcn_cap);
174 err = cap_copy(pe->rootcn_cap, si.rootcn_cap);
/barrelfish-master/usr/spawnd/
H A Dps.h40 struct capref rootcn_cap; member in struct:ps_entry
H A Dservice.c182 err = slot_alloc(&pe->rootcn_cap);
184 err = cap_copy(pe->rootcn_cap, si.rootcn_cap);
534 err = slot_alloc(&pe->rootcn_cap);
536 err = cap_copy(pe->rootcn_cap, si.rootcn_cap);
643 cleanup_cap(pe->rootcn_cap);
700 cleanup_cap(ps->rootcn_cap);

Completed in 84 milliseconds