ThreadState_RunningVM (reference) in projects: seL4-master

Searched refs:ThreadState_RunningVM (Results 1 – 10 of 10) sorted by relevance

/seL4-master/src/arch/x86/32/
A D	c_traps.c	`131 if (thread_state_ptr_get_tsType(&NODE_STATE(ksCurThread)->tcbState) == ThreadState_RunningVM) { in restore_user_context()`
/seL4-master/include/api/
A D	debug.h	`105 case ThreadState_RunningVM: in debug_printTCB()`
/seL4-master/src/arch/x86/64/
A D	c_traps.c	`155 if (thread_state_ptr_get_tsType(&cur_thread->tcbState) == ThreadState_RunningVM) { in restore_user_context()`
/seL4-master/src/arch/x86/
A D	c_traps.c	`118 setThreadState(NODE_STATE(ksCurThread), ThreadState_RunningVM); in slowpath()`
/seL4-master/include/arch/x86/arch/64/mode/
A D	machine.h	`269 if (thread_state_ptr_get_tsType(&thread->tcbState) == ThreadState_RunningVM) { in x86_save_fsgs_base()`
/seL4-master/include/kernel/
A D	thread.h	`45 case ThreadState_RunningVM: in isRunnable()`
/seL4-master/include/object/
A D	structures.h	`172 ThreadState_RunningVM, enumerator`
/seL4-master/src/kernel/
A D	thread.c	`47 case ThreadState_RunningVM: in activateThread() 636 ThreadState_RunningVM in timerTick()`
/seL4-master/src/object/
A D	notification.c	`97 } else if (thread_state_ptr_get_tsType(&tcb->tcbState) == ThreadState_RunningVM) { in sendSignal()`
/seL4-master/src/arch/x86/object/
A D	vcpu.c	`1283 if (thread_state_ptr_get_tsType(&tcb->tcbState) == ThreadState_RunningVM in VMCheckBoundNotification()`

Completed in 14 milliseconds