Searched defs:ThreadState_RunningVM (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/kernel/src/arch/x86/
H A Dc_traps.c118 setThreadState(NODE_STATE(ksCurThread), ThreadState_RunningVM); local
/seL4-test-master/kernel/include/object/
H A Dstructures.h172 ThreadState_RunningVM, enumerator in enum:_thread_state

Completed in 34 milliseconds