Searched refs:can_timeout_fault (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/kernel/include/kernel/
H A Dthread.h221 void endTimeslice(bool_t can_timeout_fault);
/seL4-test-master/kernel/src/kernel/
H A Dthread.c604 void endTimeslice(bool_t can_timeout_fault) argument
606 if (can_timeout_fault && !isRoundRobin(NODE_STATE(ksCurSC)) && validTimeoutHandler(NODE_STATE(ksCurThread))) {

Completed in 26 milliseconds