Searched refs:seL4_MaxPrio (Results 1 – 3 of 3) sorted by relevance

/seL4-master/libsel4/include/sel4/
A D	constants.h	47 seL4_MaxPrio = CONFIG_NUM_PRIORITIES - 1 enumerator
/seL4-master/src/kernel/
A D	boot.c	512 tcb->tcbPriority = seL4_MaxPrio; in create_initial_thread() 513 tcb->tcbMCP = seL4_MaxPrio; in create_initial_thread()
/seL4-master/src/object/
A D	tcb.c	39 assert(mcp <= seL4_MaxPrio); in checkPrio()

Completed in 12 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023