148 			KASSERT(m1 != NULL, ("lost page table page"));  in dmar_idmap_nextlvl()
290 	KASSERT(obj->ref_count >= 2, ("lost cache reference"));  in dmar_put_idmap_pgtbl()
337 	KASSERT((flags & IOMMU_PGF_OBJL) != 0, ("lost PGF_OBJL"));  in dmar_pgtbl_map_pte()
349 			KASSERT(lvl > 0,  in dmar_pgtbl_map_pte()
374 				KASSERT(m->pindex != 0,  in dmar_pgtbl_map_pte()
447 		KASSERT(size >= pg_sz,  in dmar_map_buf_locked()
450 		KASSERT(pg_sz > 0, ("pg_sz 0 lvl %d", lvl));  in dmar_map_buf_locked()
453 			KASSERT((flags & IOMMU_PGF_WAITOK) == 0,  in dmar_map_buf_locked()
494 	KASSERT((iodom->flags & IOMMU_DOMAIN_IDMAP) == 0,  in dmar_map_buf()
496 	KASSERT((base & IOMMU_PAGE_MASK) == 0,  in dmar_map_buf()
499 	KASSERT((size & IOMMU_PAGE_MASK) == 0,  in dmar_map_buf()
502 	KASSERT(size > 0, ("zero size %p %jx %jx", domain, (uintmax_t)base,  in dmar_map_buf()
504 	KASSERT(base < (1ULL << domain->agaw),  in dmar_map_buf()
507 	KASSERT(base + size < (1ULL << domain->agaw),  in dmar_map_buf()
510 	KASSERT(base + size > base,  in dmar_map_buf()
513 	KASSERT((pflags & (DMAR_PTE_R | DMAR_PTE_W)) != 0,  in dmar_map_buf()
515 	KASSERT((pflags & ~(DMAR_PTE_R | DMAR_PTE_W | DMAR_PTE_SNP |  in dmar_map_buf()
518 	KASSERT((pflags & DMAR_PTE_SNP) == 0 ||  in dmar_map_buf()
522 	KASSERT((pflags & DMAR_PTE_TM) == 0 ||  in dmar_map_buf()
526 	KASSERT((flags & ~IOMMU_PGF_WAITOK) == 0, ("invalid flags %x", flags));  in dmar_map_buf()
580 	KASSERT(lvl != 0,  in dmar_unmap_clear_pte()
583 	KASSERT(m->pindex != 0,  in dmar_unmap_clear_pte()
607 	KASSERT((domain->iodom.flags & IOMMU_DOMAIN_IDMAP) == 0,  in dmar_unmap_buf_locked()
609 	KASSERT((base & IOMMU_PAGE_MASK) == 0,  in dmar_unmap_buf_locked()
612 	KASSERT((size & IOMMU_PAGE_MASK) == 0,  in dmar_unmap_buf_locked()
615 	KASSERT(base < (1ULL << domain->agaw),  in dmar_unmap_buf_locked()
618 	KASSERT(base + size < (1ULL << domain->agaw),  in dmar_unmap_buf_locked()
621 	KASSERT(base + size > base,  in dmar_unmap_buf_locked()
624 	KASSERT((flags & ~IOMMU_PGF_WAITOK) == 0, ("invalid flags %x", flags));  in dmar_unmap_buf_locked()
640 			KASSERT(pte != NULL,  in dmar_unmap_buf_locked()
650 		KASSERT(size >= pg_sz,  in dmar_unmap_buf_locked()
687 	KASSERT(domain->pgtbl_obj == NULL,  in dmar_domain_alloc_pgtbl()
718 		KASSERT((domain->dmar->hw_ecap & DMAR_ECAP_PT) != 0 &&  in dmar_domain_free_pgtbl()
769 	KASSERT(!unit->qi_enabled, ("dmar%d: sync iotlb flush call",  in dmar_flush_iotlb_sync()
776 		KASSERT((iotlbr & DMAR_IOTLB_IAIG_MASK) !=  in dmar_flush_iotlb_sync()
787 			KASSERT((iotlbr & DMAR_IOTLB_IAIG_MASK) !=  in dmar_flush_iotlb_sync()