Symbol: dmar_pte_store1