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

/barrelfish-2018-10-04/include/barrelfish_kpi/
H A Dinit.h98 #define TASKCN_SLOT_PROC_MNG 18 ///< Cap for the process manager macro
/barrelfish-2018-10-04/usr/init/
H A Dspawn.c88 dest.slot = TASKCN_SLOT_PROC_MNG;
90 src.slot = TASKCN_SLOT_PROC_MNG;
/barrelfish-2018-10-04/usr/monitor/
H A Dspawn.c65 dest.slot = TASKCN_SLOT_PROC_MNG;
/barrelfish-2018-10-04/kernel/
H A Dstartup.c310 TASKCN_SLOT_PROC_MNG);
/barrelfish-2018-10-04/lib/barrelfish/
H A Dcapabilities.c153 .slot = TASKCN_SLOT_PROC_MNG

Completed in 97 milliseconds