Home
last modified time | relevance | path

Searched defs:sched_context (Results 1 – 1 of 1) sorted by relevance

/seL4-master/include/object/
A Dstructures.h342 struct sched_context { struct
344 ticks_t scPeriod;
348 ticks_t scConsumed;
351 word_t scCore;
354 tcb_t *scTcb;
358 reply_t *scReply;
364 word_t scBadge;
367 tcb_t *scYieldFrom;
370 word_t scRefillMax;
372 word_t scRefillHead;
[all …]

Completed in 5 milliseconds