DER_CONT
de = DER_CONT;
case DER_CONT:
if (ade != DER_CONT) {
ddi_err(DER_CONT, NULL, "?Reading Intel IOMMU boot options\n");
ddi_err(DER_CONT, NULL,
ddi_err(DER_CONT, NULL, "?System SMBIOS information:\n");
ddi_err(DER_CONT, NULL, "?Manufacturer = <%s>\n", mfg);
ddi_err(DER_CONT, NULL, "?Product = <%s>\n", product);
ddi_err(DER_CONT, NULL, "?Version = <%s>\n", version);
ddi_err(DER_CONT, NULL, "\tdevice list:\n");
ddi_err(DER_CONT, NULL, "\t\ttype = %s\n",
ddi_err(DER_CONT, NULL, "\n\t\tbus = %d\n",
ddi_err(DER_CONT, NULL, "\t\tdev = %d\n",
ddi_err(DER_CONT, NULL, "\t\tfunc = %d\n",
ddi_err(DER_CONT, NULL, "\ndrhd list:\n");
ddi_err(DER_CONT, NULL, "\n\tsegment = %d\n",
ddi_err(DER_CONT, NULL, "\treg_base = 0x%" PRIx64 "\n",
ddi_err(DER_CONT, NULL, "\tinclude_all = %s\n",
ddi_err(DER_CONT, NULL, "\tdip = 0x%p\n",
ddi_err(DER_CONT, NULL, "\nrmrr list:\n");
ddi_err(DER_CONT, NULL, "\n\tsegment = %d\n",
ddi_err(DER_CONT, NULL, "\tbase = 0x%lx\n",
ddi_err(DER_CONT, NULL, "\tlimit = 0x%lx\n",
ddi_err(DER_CONT, NULL, "#### Start of dmar_table ####\n");
ddi_err(DER_CONT, NULL, "\thaw = %d\n", tbl->tbl_haw);
ddi_err(DER_CONT, NULL, "\tintr_remap = %s\n",
ddi_err(DER_CONT, NULL, "#### END of dmar_table ####\n");
ddi_err(DER_CONT, NULL, "?Processing DMAR ACPI table\n");
ddi_err(DER_CONT, NULL, "?System DMAR ACPI table information:\n");
ddi_err(DER_CONT, NULL, "?OEM-ID = <%s>\n", tbl->tbl_oem_id);
ddi_err(DER_CONT, NULL, "?Table-ID = <%s>\n", tbl->tbl_oem_tblid);
ddi_err(DER_CONT, NULL, "?Revision = <%s>\n", oem_rev);