84 	KASSERT(domain->pgtbl_obj == NULL,  in amdiommu_domain_alloc_pgtbl()
113 		KASSERT((domain->iodom.flags & IOMMU_DOMAIN_IDMAP) != 0,  in amdiommu_domain_free_pgtbl()
149 			KASSERT(lvl > 0,  in amdiommu_pgtbl_map_pte()
167 				KASSERT(m->pindex != 0,  in amdiommu_pgtbl_map_pte()
208 		KASSERT(size >= IOMMU_PAGE_SIZE,  in amdiommu_map_buf_locked()
214 			KASSERT((flags & IOMMU_PGF_WAITOK) == 0,  in amdiommu_map_buf_locked()
249 	KASSERT((iodom->flags & IOMMU_DOMAIN_IDMAP) == 0,  in amdiommu_map_buf()
251 	KASSERT((base & IOMMU_PAGE_MASK) == 0,  in amdiommu_map_buf()
254 	KASSERT((size & IOMMU_PAGE_MASK) == 0,  in amdiommu_map_buf()
257 	KASSERT(size > 0, ("zero size %p %jx %jx", domain, (uintmax_t)base,  in amdiommu_map_buf()
259 	KASSERT(base < iodom->end,  in amdiommu_map_buf()
262 	KASSERT(base + size < iodom->end,  in amdiommu_map_buf()
265 	KASSERT(base + size > base,  in amdiommu_map_buf()
268 	KASSERT((pflags & (AMDIOMMU_PTE_IR | AMDIOMMU_PTE_IW)) != 0,  in amdiommu_map_buf()
270 	KASSERT((pflags & ~(AMDIOMMU_PTE_IR | AMDIOMMU_PTE_IW | AMDIOMMU_PTE_FC  in amdiommu_map_buf()
273 	KASSERT((flags & ~IOMMU_PGF_WAITOK) == 0, ("invalid flags %x", flags));  in amdiommu_map_buf()
318 	KASSERT(lvl != 0,  in amdiommu_unmap_clear_pte()
321 	KASSERT(m->pindex != 0,  in amdiommu_unmap_clear_pte()
341 	KASSERT((domain->iodom.flags & IOMMU_DOMAIN_IDMAP) == 0,  in amdiommu_unmap_buf_locked()
343 	KASSERT((base & IOMMU_PAGE_MASK) == 0,  in amdiommu_unmap_buf_locked()
346 	KASSERT((size & IOMMU_PAGE_MASK) == 0,  in amdiommu_unmap_buf_locked()
349 	KASSERT(base < DOM2IODOM(domain)->end,  in amdiommu_unmap_buf_locked()
352 	KASSERT(base + size < DOM2IODOM(domain)->end,  in amdiommu_unmap_buf_locked()
355 	KASSERT(base + size > base,  in amdiommu_unmap_buf_locked()
358 	KASSERT((flags & ~IOMMU_PGF_WAITOK) == 0, ("invalid flags %x", flags));  in amdiommu_unmap_buf_locked()
366 		KASSERT(pte != NULL,  in amdiommu_unmap_buf_locked()
371 		KASSERT(size >= pg_sz,  in amdiommu_unmap_buf_locked()