Symbol: X86_64_PTE_WRITE_THROUGH
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/X86PagingMethod64Bit.h
177
return X86_64_PTE_WRITE_THROUGH;
src/system/kernel/arch/x86/paging/64bit/paging.h
75
#define X86_64_PTE_MEMORY_TYPE_MASK (X86_64_PTE_WRITE_THROUGH \