sys/dev/ichwd/ichwd.c

409

ichwd_verbose_printf(sc->device, "timer enabled\n");

sys/dev/ichwd/ichwd.c

423

ichwd_verbose_printf(sc->device, "timer disabled\n");

sys/dev/ichwd/ichwd.c

471

ichwd_verbose_printf(sc->device, "timeout set to %u ticks\n", timeout);

sys/dev/ichwd/ichwd.c

515

ichwd_verbose_printf(sc->device,

sys/dev/ichwd/ichwd.c

662

ichwd_verbose_printf(dev,

sys/dev/ichwd/ichwd.c

673

ichwd_verbose_printf(dev,

sys/dev/ichwd/ichwd.c

681

ichwd_verbose_printf(dev,

sys/dev/ichwd/ichwd.c

690

ichwd_verbose_printf(dev,

sys/dev/ichwd/ichwd.c

716

ichwd_verbose_printf(dev,

sys/dev/ichwd/ichwd.c

723

ichwd_verbose_printf(dev,