_thread_state_t (reference) in projects: seL4-master

Searched refs:_thread_state_t (Results 1 – 3 of 3) sorted by relevance

/seL4-master/include/kernel/
A D	thread.h	`190 void setThreadState(tcb_t *tptr, _thread_state_t ts);`
/seL4-master/include/object/
A D	structures.h	`176 typedef word_t _thread_state_t; typedef`
/seL4-master/src/kernel/
A D	thread.c	`552 void setThreadState(tcb_t *tptr, _thread_state_t ts) in setThreadState()`

Completed in 6 milliseconds