thread_control_sched_update_mcp (reference) in projects: seL4-master

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

/seL4-master/include/object/
A D	tcb.h	`163 thread_control_sched_update_mcp = 0x2, enumerator`
/seL4-master/src/object/
A D	tcb.c	`1223 NULL, thread_control_sched_update_mcp); in decodeSetMCPriority() 1362 thread_control_sched_update_mcp \| in decodeSetSchedParams() 1842 if (updateFlags & thread_control_sched_update_mcp) { in invokeTCB_ThreadControlSched()`

Completed in 13 milliseconds