Symbol: X86_PTE_CACHING_DISABLED
src/system/kernel/arch/x86/paging/32bit/X86PagingMethod32Bit.h
151
return X86_PTE_CACHING_DISABLED | X86_PTE_WRITE_THROUGH;
src/system/kernel/arch/x86/paging/32bit/paging.h
54
| X86_PTE_CACHING_DISABLED)
src/system/kernel/arch/x86/paging/pae/X86PagingMethodPAE.cpp
213
| X86_PTE_CACHING_DISABLED