210 		    (uintmax_t)base, (uintmax_t)size, (uintmax_t)IOMMU_PAGE_SIZE));  in amdiommu_map_buf_locked()
252 	    ("non-aligned base %p %jx %jx", domain, (uintmax_t)base,  in amdiommu_map_buf()
253 	    (uintmax_t)size));  in amdiommu_map_buf()
255 	    ("non-aligned size %p %jx %jx", domain, (uintmax_t)base,  in amdiommu_map_buf()
256 	    (uintmax_t)size));  in amdiommu_map_buf()
257 	KASSERT(size > 0, ("zero size %p %jx %jx", domain, (uintmax_t)base,  in amdiommu_map_buf()
258 	    (uintmax_t)size));  in amdiommu_map_buf()
260 	    ("base too high %p %jx %jx end %jx", domain, (uintmax_t)base,  in amdiommu_map_buf()
261 	    (uintmax_t)size, (uintmax_t)iodom->end));  in amdiommu_map_buf()
263 	    ("end too high %p %jx %jx end %jx", domain, (uintmax_t)base,  in amdiommu_map_buf()
264 	    (uintmax_t)size, (uintmax_t)iodom->end));  in amdiommu_map_buf()
266 	    ("size overflow %p %jx %jx", domain, (uintmax_t)base,  in amdiommu_map_buf()
267 	    (uintmax_t)size));  in amdiommu_map_buf()
269 	    ("neither read nor write %jx", (uintmax_t)pflags));  in amdiommu_map_buf()
272 	    ("invalid pte flags %jx", (uintmax_t)pflags));  in amdiommu_map_buf()
320 	    domain, (uintmax_t)base, lvl));  in amdiommu_unmap_clear_pte()
323 	    domain, (uintmax_t)base, lvl));  in amdiommu_unmap_clear_pte()
344 	    ("non-aligned base %p %jx %jx", domain, (uintmax_t)base,  in amdiommu_unmap_buf_locked()
345 	    (uintmax_t)size));  in amdiommu_unmap_buf_locked()
347 	    ("non-aligned size %p %jx %jx", domain, (uintmax_t)base,  in amdiommu_unmap_buf_locked()
348 	    (uintmax_t)size));  in amdiommu_unmap_buf_locked()
350 	    ("base too high %p %jx %jx end %jx", domain, (uintmax_t)base,  in amdiommu_unmap_buf_locked()
351 	    (uintmax_t)size, (uintmax_t)DOM2IODOM(domain)->end));  in amdiommu_unmap_buf_locked()
353 	    ("end too high %p %jx %jx end %jx", domain, (uintmax_t)base,  in amdiommu_unmap_buf_locked()
354 	    (uintmax_t)size, (uintmax_t)DOM2IODOM(domain)->end));  in amdiommu_unmap_buf_locked()
356 	    ("size overflow %p %jx %jx", domain, (uintmax_t)base,  in amdiommu_unmap_buf_locked()
357 	    (uintmax_t)size));  in amdiommu_unmap_buf_locked()
368 		    domain, (uintmax_t)base, domain->pglvl - 1, flags));  in amdiommu_unmap_buf_locked()
373 		    (uintmax_t)base, (uintmax_t)size, (uintmax_t)pg_sz));  in amdiommu_unmap_buf_locked()