Searched refs:ROOTCN_SLOT_PAGECN (Results 1 - 3 of 3) sorted by relevance

/barrelfish-2018-10-04/include/barrelfish_kpi/
H A Dinit.h63 #define ROOTCN_SLOT_PAGECN 1 ///< Pagecn slot in root cnode macro
114 #define CPTR_PAGECN_BASE ROOTCN_SLOT_ADDR(ROOTCN_SLOT_PAGECN)
/barrelfish-2018-10-04/lib/spawndomain/
H A Dspawn.c156 err = cnode_create_foreign_l2(si->rootcn_cap, ROOTCN_SLOT_PAGECN, &si->pagecn);
163 si->pagecn_cap.slot = ROOTCN_SLOT_PAGECN;
1017 t1.slot = ROOTCN_SLOT_PAGECN;
1024 cnode.cnode = ROOTCN_SLOT_ADDR(ROOTCN_SLOT_PAGECN);
/barrelfish-2018-10-04/kernel/
H A Dstartup.c180 st->pagecn = caps_locate_slot(CNODE(rootcn), ROOTCN_SLOT_PAGECN);

Completed in 43 milliseconds