Searched refs:seL4_MaxPrio (Results 1 - 9 of 9) sorted by relevance
| /seL4-l4v-10.1.1/seL4/include/api/ | ||
| H A D | constants.h | 55 seL4_MaxPrio = CONFIG_NUM_PRIORITIES - 1 enumerator in enum:priorityConstants |
| /seL4-l4v-10.1.1/seL4/libsel4/include/sel4/ | ||
| H A D | constants.h | 55 seL4_MaxPrio = CONFIG_NUM_PRIORITIES - 1 enumerator in enum:priorityConstants |
| /seL4-l4v-10.1.1/l4v/camkes/glue-proofs/ | ||
| H A D | EventFrom.c | 556 seL4_MaxPrio enumerator in enum:priorityConstants |
| H A D | EventTo.c | 456 seL4_MaxPrio enumerator in enum:priorityConstants |
| H A D | RPCFrom.c | 557 seL4_MaxPrio enumerator in enum:priorityConstants |
| H A D | RPCTo.c | 556 seL4_MaxPrio enumerator in enum:priorityConstants |
| /seL4-l4v-10.1.1/seL4/src/kernel/ | ||
| H A D | boot.c | 458 tcb->tcbPriority = seL4_MaxPrio; 459 tcb->tcbMCP = seL4_MaxPrio; |
| /seL4-l4v-10.1.1/seL4/src/object/ | ||
| H A D | tcb.c | 41 assert(mcp <= seL4_MaxPrio); |
| /seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ | ||
| H A D | jiraver443.c | 136 seL4_MaxPrio = 255 enumerator in enum:priorityConstants |
Completed in 72 milliseconds