thread_control_update_priority (reference) in projects: seL4-master

Searched refs:thread_control_update_priority (Results 1 – 2 of 2) sorted by relevance

/seL4-master/include/object/
A D	tcb.h	`169 thread_control_update_priority = 0x1, enumerator`
/seL4-master/src/object/
A D	tcb.c	`1187 NULL, thread_control_update_priority); in decodeSetPriority() 1374 thread_control_update_priority); in decodeSetSchedParams() 1819 if (updateFlags & thread_control_update_priority) { in invokeTCB_ThreadControl()`

Completed in 6 milliseconds