Symbol: PTE_ATTR_WT