Searched refs:seL4_MinPrio (Results 1 – 2 of 2) sorted by relevance
| /seL4-master/libsel4/include/sel4/ | ||
| A D | constants.h | 46 seL4_MinPrio = 0, enumerator |
| /seL4-master/src/object/ | ||
| A D | tcb.c | 44 current_syscall_error.rangeErrorMin = seL4_MinPrio; in checkPrio() |
Completed in 6 milliseconds