dmar_pte_store1
dmar_pte_store1(&ctxp->ctx2, DMAR_CTX2_DID(domain->domain) |
dmar_pte_store1(&ctxp->ctx1, DMAR_CTX1_T_PASS | DMAR_CTX1_P);
dmar_pte_store1(&ctxp->ctx1, DMAR_CTX1_T_UNTR |
dmar_pte_store1(dst, val);
dmar_pte_store1(dst, val);