Home
last modified time | relevance | path

Searched refs:tcbTimeSlice (Results 1 – 4 of 4) sorted by relevance

/seL4-master/src/kernel/
A Dthread.c639 if (NODE_STATE(ksCurThread)->tcbTimeSlice > 1) { in timerTick()
640 NODE_STATE(ksCurThread)->tcbTimeSlice--; in timerTick()
642 NODE_STATE(ksCurThread)->tcbTimeSlice = CONFIG_TIME_SLICE; in timerTick()
A Dboot.c472 tcb->tcbTimeSlice = CONFIG_TIME_SLICE; in create_initial_thread()
/seL4-master/include/object/
A Dstructures.h282 word_t tcbTimeSlice; member
/seL4-master/src/object/
A Dobjecttype.c530 tcb->tcbTimeSlice = CONFIG_TIME_SLICE; in createObject()

Completed in 9 milliseconds