DER_NOTE
case DER_NOTE:
ddi_err(DER_NOTE, dip, "iommu: Mobile 4 chipset detected. "
ddi_err(DER_NOTE, NULL, "DMAR ACPI table: "
ddi_err(DER_NOTE, NULL, "%s running", immu->immu_name);
ddi_err(DER_NOTE, NULL, "IOMMU %s stopped", immu->immu_name);