Searched refs:ROOTCN_SLOT_SEGCN (Results 1 - 5 of 5) sorted by relevance

/barrelfish-2018-10-04/include/barrelfish_kpi/
H A Dinit.h66 #define ROOTCN_SLOT_SEGCN 4 ///< SegCN slot in root cnode macro
/barrelfish-2018-10-04/lib/spawndomain/arch/aarch64/
H A Dspawn_arch.c164 .slot = ROOTCN_SLOT_SEGCN,
/barrelfish-2018-10-04/lib/spawndomain/arch/arm/
H A Dspawn_arch.c164 .slot = ROOTCN_SLOT_SEGCN,
/barrelfish-2018-10-04/lib/spawndomain/arch/x86/
H A Dspawn_arch.c238 .slot = ROOTCN_SLOT_SEGCN,
/barrelfish-2018-10-04/kernel/
H A Dstartup.c211 st->segcn = caps_locate_slot(CNODE(rootcn), ROOTCN_SLOT_SEGCN);

Completed in 90 milliseconds