DMAR_CTX1_T_PASS
dmar_pte_store1(&ctxp->ctx1, DMAR_CTX1_T_PASS | DMAR_CTX1_P);
case DMAR_CTX1_T_PASS: