dmar_pte_store
dmar_pte_store(&re->r1, DMAR_ROOT_R1_P | (DMAR_ROOT_R1_CTP_MASK &
dmar_pte_store(&ptep->pte, DMAR_PTE_R | DMAR_PTE_W |
dmar_pte_store(&pte->pte, VM_PAGE_TO_PHYS(ma[pi]) | pflags |
dmar_pte_store(&irte->irte2, high);
dmar_pte_store(&irte->irte1, low);