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

/seL4-master/src/object/
A D	schedcontrol.c	17 target->scBadge = badge; in invokeSchedControl_ConfigureFlags()
/seL4-master/include/object/
A D	structures.h	364 word_t scBadge; member
/seL4-master/src/kernel/
A D	thread.c	188 current_fault = seL4_Fault_Timeout_new(receiver->tcbSchedContext->scBadge); in doReplyTransfer() 616 current_fault = seL4_Fault_Timeout_new(NODE_STATE(ksCurSC)->scBadge); in endTimeslice()

Completed in 9 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023