Home
last modified time | relevance | path

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

/seL4-master/src/config/
A Ddefault_domain.c11 const dschedule_t ksDomSchedule[] = {
15 const word_t ksDomScheduleLength = sizeof(ksDomSchedule) / sizeof(dschedule_t);
/seL4-master/include/model/
A Dstatedata.h105 extern const dschedule_t ksDomSchedule[];
/seL4-master/include/object/
A Dstructures.h33 } dschedule_t; typedef

Completed in 6 milliseconds