Searched refs:rootcn_cap (Results 1 - 8 of 8) sorted by path
/barrelfish-master/include/spawndomain/ |
H A D | spawndomain.h | 31 struct capref rootcn_cap __attribute__ ((aligned(4))); member in struct:spawninfo
|
/barrelfish-master/kernel/ |
H A D | syscall.c | 655 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 D | spawn.c | 42 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 D | guest.c | 907 err = invoke_dispatcher(si->dcb, cap_dispatcher, si->rootcn_cap,
|
H A D | ps.h | 34 struct capref rootcn_cap, dcb; member in struct:ps_entry
|
H A D | vmkitmon.c | 172 err = slot_alloc(&pe->rootcn_cap); 174 err = cap_copy(pe->rootcn_cap, si.rootcn_cap);
|
/barrelfish-master/usr/spawnd/ |
H A D | ps.h | 40 struct capref rootcn_cap; member in struct:ps_entry
|
H A D | service.c | 182 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