rt2560_watchdog
static void rt2560_watchdog(void *);
callout_reset(&sc->watchdog_ch, hz, rt2560_watchdog, sc);