Symbol: X86_64_PTE_CACHING_DISABLED
src/system/kernel/arch/x86/paging/64bit/X86PagingMethod64Bit.h
171
return X86_64_PTE_CACHING_DISABLED | X86_64_PTE_WRITE_THROUGH;
src/system/kernel/arch/x86/paging/64bit/paging.h
76
| X86_64_PTE_CACHING_DISABLED)