dmar_pte_clear
dmar_pte_clear(&ctxp->ctx1);
dmar_pte_clear(&pte->pte);
dmar_pte_clear(&irte->irte1);
dmar_pte_clear(&irte->irte2);