ichwd_verbose_printf
ichwd_verbose_printf(sc->device, "timer enabled\n");
ichwd_verbose_printf(sc->device, "timer disabled\n");
ichwd_verbose_printf(sc->device, "timeout set to %u ticks\n", timeout);
ichwd_verbose_printf(ich, "found ICH%d or equivalent chipset: %s\n",
ichwd_verbose_printf(dev,
ichwd_verbose_printf(dev, "%s (ICH%d or equivalent)\n",