545 	ddi_err(DER_CONT, NULL, "\tdevice list:\n");  in print_scope_list()
549 		ddi_err(DER_CONT, NULL, "\t\ttype = %s\n",  in print_scope_list()
551 		ddi_err(DER_CONT, NULL, "\n\t\tbus = %d\n",  in print_scope_list()
553 		ddi_err(DER_CONT, NULL, "\t\tdev = %d\n",  in print_scope_list()
555 		ddi_err(DER_CONT, NULL, "\t\tfunc = %d\n",  in print_scope_list()
568 	ddi_err(DER_CONT, NULL, "\ndrhd list:\n");  in print_drhd_list()
573 		ddi_err(DER_CONT, NULL, "\n\tsegment = %d\n",  in print_drhd_list()
575 		ddi_err(DER_CONT, NULL, "\treg_base = 0x%" PRIx64 "\n",  in print_drhd_list()
577 		ddi_err(DER_CONT, NULL, "\tinclude_all = %s\n",  in print_drhd_list()
579 		ddi_err(DER_CONT, NULL, "\tdip = 0x%p\n",  in print_drhd_list()
595 	ddi_err(DER_CONT, NULL, "\nrmrr list:\n");  in print_rmrr_list()
600 		ddi_err(DER_CONT, NULL, "\n\tsegment = %d\n",  in print_rmrr_list()
602 		ddi_err(DER_CONT, NULL, "\tbase = 0x%lx\n",  in print_rmrr_list()
604 		ddi_err(DER_CONT, NULL, "\tlimit = 0x%lx\n",  in print_rmrr_list()
624 	ddi_err(DER_CONT, NULL, "#### Start of dmar_table ####\n");  in dmar_table_print()
625 	ddi_err(DER_CONT, NULL, "\thaw = %d\n", tbl->tbl_haw);  in dmar_table_print()
626 	ddi_err(DER_CONT, NULL, "\tintr_remap = %s\n",  in dmar_table_print()
640 	ddi_err(DER_CONT, NULL, "#### END of dmar_table ####\n");  in dmar_table_print()
852 	ddi_err(DER_CONT, NULL, "?Processing DMAR ACPI table\n");  in immu_dmar_parse()
922 	ddi_err(DER_CONT, NULL, "?System DMAR ACPI table information:\n");  in immu_dmar_blacklisted()
923 	ddi_err(DER_CONT, NULL, "?OEM-ID = <%s>\n", tbl->tbl_oem_id);  in immu_dmar_blacklisted()
924 	ddi_err(DER_CONT, NULL, "?Table-ID = <%s>\n", tbl->tbl_oem_tblid);  in immu_dmar_blacklisted()
926 	ddi_err(DER_CONT, NULL, "?Revision = <%s>\n", oem_rev);  in immu_dmar_blacklisted()