Searched refs:CONFIG_NUM_DOMAINS (Results 1 - 8 of 8) sorted by relevance

/seL4-mcs-10.1.1/include/
H A Dconfig.h35 #ifndef CONFIG_NUM_DOMAINS
36 #define CONFIG_NUM_DOMAINS 16 macro
/seL4-mcs-10.1.1/src/model/
H A Dstatedata.c29 UP_STATE_DEFINE(word_t, ksReadyQueuesL1Bitmap[CONFIG_NUM_DOMAINS]);
30 UP_STATE_DEFINE(word_t, ksReadyQueuesL2Bitmap[CONFIG_NUM_DOMAINS][L2_BITMAP_SIZE]);
/seL4-mcs-10.1.1/include/model/
H A Dstatedata.h62 #define NUM_READY_QUEUES (CONFIG_NUM_DOMAINS * CONFIG_NUM_PRIORITIES)
67 NODE_STATE_DECLARE(word_t, ksReadyQueuesL1Bitmap[CONFIG_NUM_DOMAINS]);
68 NODE_STATE_DECLARE(word_t, ksReadyQueuesL2Bitmap[CONFIG_NUM_DOMAINS][L2_BITMAP_SIZE]);
/seL4-mcs-10.1.1/include/kernel/
H A Dthread.h25 if (CONFIG_NUM_DOMAINS > 1) {
102 return CONFIG_NUM_DOMAINS > 1 &&
128 if (CONFIG_NUM_DOMAINS > 1) {
/seL4-mcs-10.1.1/include/api/
H A Dtypes.h33 maxDom = CONFIG_NUM_DOMAINS - 1
/seL4-mcs-10.1.1/src/kernel/
H A Dboot.c185 CONFIG_NUM_DOMAINS >= 1 && CONFIG_NUM_DOMAINS <= 256)
198 assert(ksDomSchedule[i].domain < CONFIG_NUM_DOMAINS);
513 assert(ksCurDomain < CONFIG_NUM_DOMAINS && ksDomainTime > 0);
H A Dthread.c404 if (CONFIG_NUM_DOMAINS > 1) {
546 if (CONFIG_NUM_DOMAINS > 1) {
/seL4-mcs-10.1.1/src/object/
H A Dtcb.c1383 if (domain >= CONFIG_NUM_DOMAINS) {
1385 domain, CONFIG_NUM_DOMAINS);

Completed in 54 milliseconds