PTE_PWT
#define PTE_PWT 0x0000000000000008 /* Write-Through */
#define PTE_PWT 0x00000008 /* Write-Through */
