Searched defs:TASKCN_SLOT_KERNELCAP (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/include/barrelfish_kpi/
H A Dinit.h100 #define TASKCN_SLOT_KERNELCAP 8 ///< Kernel cap in task cnode macro

Completed in 28 milliseconds