Searched defs:seL4_MaxPrio (Results 1 - 1 of 1) sorted by relevance
| /seL4-camkes-master/kernel/libsel4/include/sel4/ | ||
| H A D | constants.h | 49 seL4_MaxPrio = CONFIG_NUM_PRIORITIES - 1 enumerator in enum:priorityConstants |
Completed in 24 milliseconds