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

/barrelfish-2018-10-04/include/barrelfish_kpi/
H A Dinit.h97 #define TASKCN_SLOT_IPI 17 ///< Copy of IPI cap macro
/barrelfish-2018-10-04/usr/init/
H A Dspawn.c78 dest.slot = TASKCN_SLOT_IPI;
80 src.slot = TASKCN_SLOT_IPI;
/barrelfish-2018-10-04/kernel/
H A Dstartup.c304 TASKCN_SLOT_IPI);
/barrelfish-2018-10-04/lib/barrelfish/
H A Dcapabilities.c129 .slot = TASKCN_SLOT_IPI

Completed in 86 milliseconds