X86_PTE_WRITE_THROUGH
return X86_PTE_CACHING_DISABLED | X86_PTE_WRITE_THROUGH;
return X86_PTE_WRITE_THROUGH;
#define X86_PTE_MEMORY_TYPE_MASK (X86_PTE_WRITE_THROUGH \
| X86_PTE_WRITE_THROUGH