449 		    (uintmax_t)base, (uintmax_t)size, (uintmax_t)pg_sz));  in dmar_map_buf_locked()
497 	    ("non-aligned base %p %jx %jx", domain, (uintmax_t)base,  in dmar_map_buf()
498 	    (uintmax_t)size));  in dmar_map_buf()
500 	    ("non-aligned size %p %jx %jx", domain, (uintmax_t)base,  in dmar_map_buf()
501 	    (uintmax_t)size));  in dmar_map_buf()
502 	KASSERT(size > 0, ("zero size %p %jx %jx", domain, (uintmax_t)base,  in dmar_map_buf()
503 	    (uintmax_t)size));  in dmar_map_buf()
505 	    ("base too high %p %jx %jx agaw %d", domain, (uintmax_t)base,  in dmar_map_buf()
506 	    (uintmax_t)size, domain->agaw));  in dmar_map_buf()
508 	    ("end too high %p %jx %jx agaw %d", domain, (uintmax_t)base,  in dmar_map_buf()
509 	    (uintmax_t)size, domain->agaw));  in dmar_map_buf()
511 	    ("size overflow %p %jx %jx", domain, (uintmax_t)base,  in dmar_map_buf()
512 	    (uintmax_t)size));  in dmar_map_buf()
514 	    ("neither read nor write %jx", (uintmax_t)pflags));  in dmar_map_buf()
517 	    ("invalid pte flags %jx", (uintmax_t)pflags));  in dmar_map_buf()
521 	    domain, (uintmax_t)pflags));  in dmar_map_buf()
525 	    domain, (uintmax_t)pflags));  in dmar_map_buf()
582 	    domain, (uintmax_t)base, lvl));  in dmar_unmap_clear_pte()
585 	    domain, (uintmax_t)base, lvl));  in dmar_unmap_clear_pte()
610 	    ("non-aligned base %p %jx %jx", domain, (uintmax_t)base,  in dmar_unmap_buf_locked()
611 	    (uintmax_t)size));  in dmar_unmap_buf_locked()
613 	    ("non-aligned size %p %jx %jx", domain, (uintmax_t)base,  in dmar_unmap_buf_locked()
614 	    (uintmax_t)size));  in dmar_unmap_buf_locked()
616 	    ("base too high %p %jx %jx agaw %d", domain, (uintmax_t)base,  in dmar_unmap_buf_locked()
617 	    (uintmax_t)size, domain->agaw));  in dmar_unmap_buf_locked()
619 	    ("end too high %p %jx %jx agaw %d", domain, (uintmax_t)base,  in dmar_unmap_buf_locked()
620 	    (uintmax_t)size, domain->agaw));  in dmar_unmap_buf_locked()
622 	    ("size overflow %p %jx %jx", domain, (uintmax_t)base,  in dmar_unmap_buf_locked()
623 	    (uintmax_t)size));  in dmar_unmap_buf_locked()
642 			    domain, (uintmax_t)base, lvl, flags));  in dmar_unmap_buf_locked()
652 		    (uintmax_t)base, (uintmax_t)size, (uintmax_t)pg_sz));  in dmar_unmap_buf_locked()
779 		    (uintmax_t)iotlbr));  in dmar_flush_iotlb_sync()
791 			    unit->iommu.unit, (uintmax_t)iotlbr,  in dmar_flush_iotlb_sync()
792 			    (uintmax_t)base, (uintmax_t)size, am));  in dmar_flush_iotlb_sync()