Home
last modified time | relevance | path

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

/seL4-master/src/config/
A Ddefault_domain.c15 const word_t ksDomScheduleLength = sizeof(ksDomSchedule) / sizeof(dschedule_t); variable
/seL4-master/include/model/
A Dstatedata.h106 extern const word_t ksDomScheduleLength;
/seL4-master/src/kernel/
A Dboot.c276 assert(ksDomScheduleLength > 0); in create_domain_cap()
277 for (word_t i = 0; i < ksDomScheduleLength; i++) { in create_domain_cap()
A Dthread.c305 if (ksDomScheduleIdx >= ksDomScheduleLength) { in nextDomain()

Completed in 10 milliseconds