Searched refs:ROOTCN_SLOT_MODULECN (Results 1 - 4 of 4) sorted by relevance

/barrelfish-2018-10-04/include/barrelfish_kpi/
H A Dinit.h68 #define ROOTCN_SLOT_MODULECN 6 ///< Multiboot modules cnode slot in root cnode macro
113 #define CPTR_MODULECN_BASE ROOTCN_SLOT_ADDR(ROOTCN_SLOT_MODULECN)
/barrelfish-2018-10-04/usr/init/
H A Dspawn.c98 dest.slot = ROOTCN_SLOT_MODULECN;
100 src.slot = ROOTCN_SLOT_MODULECN;
/barrelfish-2018-10-04/kernel/
H A Dstartup.c226 st->modulecn = caps_locate_slot(CNODE(rootcn), ROOTCN_SLOT_MODULECN);
/barrelfish-2018-10-04/usr/ramfsd/
H A Dmain.c511 .slot = ROOTCN_SLOT_MODULECN,

Completed in 39 milliseconds