Home
last modified time | relevance | path

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

/seL4-master/src/arch/x86/model/
A Dstatedata.c26 asid_pool_t *x86KSASIDTable[BIT(asidHighBits)]; variable
/seL4-master/include/arch/x86/arch/model/
A Dstatedata.h69 extern asid_pool_t *x86KSASIDTable[];
/seL4-master/src/arch/x86/kernel/
A Dvspace.c39 if (x86KSASIDTable[asid_base >> asidLowBits] == pool) { in deleteASIDPool()
47 x86KSASIDTable[asid_base >> asidLowBits] = NULL; in deleteASIDPool()
72 x86KSASIDTable[asid_base >> asidLowBits] = (asid_pool_t *)frame; in performASIDControlInvocation()
81 poolPtr = x86KSASIDTable[asid >> asidLowBits]; in deleteASID()
530 x86KSASIDTable[IT_ASID >> asidLowBits] = ap; in write_it_asid_pool()
537 poolPtr = x86KSASIDTable[asid >> asidLowBits]; in findMapForASID()
1294 for (i = 0; i < nASIDPools && x86KSASIDTable[i]; i++); in decodeX86MMUInvocation()
1367 pool = x86KSASIDTable[cap_asid_pool_cap_get_capASIDBase(cap) >> asidLowBits]; in decodeX86MMUInvocation()
A Dept.c46 poolPtr = x86KSASIDTable[asid >> asidLowBits]; in deleteEPTASID()

Completed in 8 milliseconds