X86_PAE_PTE_WRITE_THROUGH
return X86_PAE_PTE_CACHING_DISABLED | X86_PAE_PTE_WRITE_THROUGH;
return X86_PAE_PTE_WRITE_THROUGH;
if ((entry & X86_PAE_PTE_WRITE_THROUGH) != 0)
(entry & X86_PAE_PTE_WRITE_THROUGH) != 0 ? "WT" : "--",
#define X86_PAE_PTE_MEMORY_TYPE_MASK (X86_PAE_PTE_WRITE_THROUGH \