Searched refs:seL4_SchedContext_NoFlag (Results 1 – 2 of 2) sorted by relevance
| /seL4-master/libsel4/include/sel4/ | ||
| A D | virtual_client.h | 25 seL4_SchedContext_NoFlag); in seL4_SchedControl_Configure() |
| A D | constants.h | 98 seL4_SchedContext_NoFlag = 0x0, enumerator |
Completed in 4 milliseconds