Symbol: DMAR_PTE_W