Searched refs:maxDom (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/kernel/include/api/
H A Dtypes.h28 maxDom = CONFIG_NUM_DOMAINS - 1 enumerator in enum:domainConstants
/seL4-refos-master/kernel/src/fastpath/
H A Dfastpath.c113 dom = maxDom ? ksCurDomain : 0;
134 if (unlikely(dest->tcbDomain != ksCurDomain && maxDom)) {
367 dom = maxDom ? ksCurDomain : 0;
380 if (unlikely(caller->tcbDomain != ksCurDomain && maxDom)) {

Completed in 77 milliseconds