137 		ddi_err(DER_NOTE, dip, "iommu: Mobile 4 chipset detected. "  in check_mobile4()
162 		ddi_err(DER_LOG, dip, "iommu: Mapping BIOS rsvd range "  in map_bios_rsvd_mem()
237 		ddi_err(DER_LOG, dip, "using %s DVMA mapping",  in check_conf()
242 		ddi_err(DER_LOG, dip, "%susing premapped DVMA space",  in check_conf()
277 		ddi_err(DER_LOG, dip, "Applying USB RMRR quirk");  in check_usb()
293 		ddi_err(DER_LOG, dip, "iommu: Found LPC device");  in check_lpc()
311 		ddi_err(DER_LOG, dip, "iommu: Found GFX device");  in check_gfx()
338 		ddi_err(DER_PANIC, dip, "Failed to get immu_devi");  in check_pre_startup_quirks()
407 		ddi_err(DER_WARN, NULL, "rootnex.conf switch %s=\"%s\" ",  in get_conf_opt()
446 		ddi_err(DER_WARN, NULL, "boot option %s=\"%s\" ",  in get_bootopt()
467 		ddi_err(DER_WARN, NULL, "bad value \"%s\" for boot option %s",  in get_boot_dvma_mode()
487 		ddi_err(DER_WARN, NULL, "bad value \"%s\" for rootnex "  in get_conf_dvma_mode()
513 		ddi_err(DER_WARN, NULL, "More than one value specified for "  in get_conf_tunables()
521 		ddi_err(DER_WARN, NULL, "Negative value specified for "  in get_conf_tunables()
681 	ddi_err(DER_CONT, NULL, "?System SMBIOS information:\n");  in blacklisted_smbios()
682 	ddi_err(DER_CONT, NULL, "?Manufacturer = <%s>\n", mfg);  in blacklisted_smbios()
683 	ddi_err(DER_CONT, NULL, "?Product = <%s>\n", product);  in blacklisted_smbios()
684 	ddi_err(DER_CONT, NULL, "?Version = <%s>\n", version);  in blacklisted_smbios()
752 		ddi_err(DER_WARN, NULL, "Invalid IOMMU blacklist "  in blacklist_setup()
880 	ddi_err(DER_LOG, immu->immu_dip, "unit setup");  in immu_state_alloc()
893 	ddi_err(DER_VERB, NULL,  in immu_subsystems_setup()
1037 		ddi_err(DER_WARN, NULL,  in immu_init()
1058 	ddi_err(DER_CONT, NULL, "?Reading Intel IOMMU boot options\n");  in immu_init()
1141 		ddi_err(DER_PANIC, NULL, "Failed to create reg prop for "  in immu_init()
1165 		ddi_err(DER_WARN, NULL, "Intel IOMMU not setup, "  in immu_startup()
1172 	ddi_err(DER_CONT, NULL,  in immu_startup()
1190 	ddi_err(DER_WARN, NULL, "Intel IOMMU currently "  in immu_device_tree_changed()