DMAR_ECAP_PT
(unit->hw_ecap & DMAR_ECAP_PT) != 0) {
if ((dmar->hw_ecap & DMAR_ECAP_PT) == 0) {
KASSERT((domain->dmar->hw_ecap & DMAR_ECAP_PT) != 0 &&