Searched refs:CONFIG_NUM_PRIORITIES (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/
H A Dconfig.h36 #ifndef CONFIG_NUM_PRIORITIES
37 #define CONFIG_NUM_PRIORITIES 256 macro
/seL4-l4v-10.1.1/seL4/include/api/
H A Dconstants.h55 seL4_MaxPrio = CONFIG_NUM_PRIORITIES - 1
/seL4-l4v-10.1.1/seL4/libsel4/include/sel4/
H A Dconstants.h55 seL4_MaxPrio = CONFIG_NUM_PRIORITIES - 1
/seL4-l4v-10.1.1/seL4/include/model/
H A Dstatedata.h62 #define NUM_READY_QUEUES (CONFIG_NUM_DOMAINS * CONFIG_NUM_PRIORITIES)
63 #define L2_BITMAP_SIZE ((CONFIG_NUM_PRIORITIES + wordBits - 1) / wordBits)
/seL4-l4v-10.1.1/seL4/include/kernel/
H A Dthread.h23 return dom * CONFIG_NUM_PRIORITIES + prio;
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dboot.c187 CONFIG_NUM_PRIORITIES >= 1 && CONFIG_NUM_PRIORITIES <= 256)

Completed in 48 milliseconds