IDB_IOMMU
DPRINTF(IDB_IOMMU, ("iommu_enter: va %lx pa %lx flags %x\n",
DPRINTF(IDB_IOMMU, ("iommu_enter: slot %d va %lx pa %lx "
DPRINTF(IDB_IOMMU, ("iommu_remove: va %lx len %zu\n", va, len));
DPRINTF(IDB_IOMMU, ("iommu_remove: va %lx TSB[%lx]@%p\n",
DPRINTF(IDB_IOMMU, ("iommu_remove: clearing TSB slot %d "
DPRINTF(IDB_IOMMU, ("%s: flush = %lx at va = %lx pa = %lx now="
DPRINTF(IDB_IOMMU, ("%s: flushed\n", __func__));