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

/seL4-l4v-10.1.1/seL4/include/
H A Dconfig.h31 #ifndef CONFIG_NUM_DOMAINS
32 #define CONFIG_NUM_DOMAINS 16 macro
/seL4-l4v-10.1.1/seL4/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-l4v-10.1.1/seL4/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-l4v-10.1.1/seL4/include/api/
H A Dtypes.h31 maxDom = CONFIG_NUM_DOMAINS - 1
/seL4-l4v-10.1.1/seL4/include/kernel/
H A Dthread.h22 if (CONFIG_NUM_DOMAINS > 1) {
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dboot.c185 CONFIG_NUM_DOMAINS >= 1 && CONFIG_NUM_DOMAINS <= 256)
198 assert(ksDomSchedule[i].domain < CONFIG_NUM_DOMAINS);
465 assert(ksCurDomain < CONFIG_NUM_DOMAINS && ksDomainTime > 0);
H A Dthread.c333 if (CONFIG_NUM_DOMAINS > 1) {
451 if (CONFIG_NUM_DOMAINS > 1) {
/seL4-l4v-10.1.1/seL4/src/object/
H A Dtcb.c1282 if (domain >= CONFIG_NUM_DOMAINS) {
1284 domain, CONFIG_NUM_DOMAINS);

Completed in 51 milliseconds