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

/barrelfish-master/include/barrelfish/
H A Dspawn_client.h27 #define INHERITCN_SLOT_KERNELCAP 3 ///< Kernel capability for core boot macro
/barrelfish-master/lib/barrelfish/
H A Dspawn_client.c1042 .slot = INHERITCN_SLOT_KERNELCAP
/barrelfish-master/lib/spawndomain/
H A Dspawn.c688 err = spawn_setup_inherited_cap(inheritcn, INHERITCN_SLOT_KERNELCAP,

Completed in 89 milliseconds