Searched refs:invalidateLocalPageStructureCache (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-master/seL4/src/arch/x86/32/smp/
H A Dipi.c20 invalidateLocalPageStructureCache();
/seL4-l4v-master/seL4/include/arch/x86/arch/32/mode/kernel/
H A Dtlb.h20 invalidateLocalPageStructureCache();
/seL4-l4v-master/seL4/include/arch/x86/arch/32/mode/
H A Dmachine.h45 static inline void invalidateLocalPageStructureCache(void) function
54 invalidateLocalPageStructureCache();
78 invalidateLocalPageStructureCache();
/seL4-l4v-master/seL4/src/arch/x86/32/kernel/
H A Dvspace_32paging.c119 invalidateLocalPageStructureCache();
151 invalidateLocalPageStructureCache();
H A Dvspace.c328 invalidateLocalPageStructureCache();
366 invalidateLocalPageStructureCache();

Completed in 94 milliseconds