amdsbwd_verbose_printf
amdsbwd_verbose_printf(sc->dev, "timer enabled\n");
amdsbwd_verbose_printf(sc->dev, "timer disabled\n");
amdsbwd_verbose_printf(sc->dev, "timeout set to %u ticks\n", timeout);
amdsbwd_verbose_printf(dev, "ResetStatus0 = %#04x\n", val);
amdsbwd_verbose_printf(dev, "ResetStatus1 = %#04x\n", val);
amdsbwd_verbose_printf(dev, "ResetStatus = 0x%08x\n", val);
amdsbwd_verbose_printf(dev, "AMDSB8_PM_WDT_CTRL value = %#04x\n", val);
amdsbwd_verbose_printf(dev, "ACPI MMIO range is enabled\n");
amdsbwd_verbose_printf(dev, "AMDFCH41_PM_DECODE_EN3 value = %#04x\n",
amdsbwd_verbose_printf(dev, "memory base address = %#010x\n", addr);