Searched refs:prio_to_l1index (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/kernel/include/kernel/
H A Dthread.h29 static inline CONST word_t prio_to_l1index(word_t prio) function
/seL4-test-master/kernel/src/object/
H A Dtcb.c57 l1index = prio_to_l1index(prio);
73 l1index = prio_to_l1index(prio);

Completed in 38 milliseconds