DMAR_CTX1_P
dmar_pte_store1(&ctxp->ctx1, DMAR_CTX1_T_PASS | DMAR_CTX1_P);
DMAR_CTX1_P);
if (!(ctx[idx].ctx1 & DMAR_CTX1_P))