Symbol: DMAR_PTE_SP