static void watchdog_ping(void) { //printk(KERN_INFO "Watchdog ping\n"); /* restart the kernel timer */ mod_timer (&wdTimer, jiffies + (100*soft_margin)); /* 10 seconds interval */ HAL_WDTIMER_ENABLE_RESTART_RELOAD(); }
static void watchdog_ping(void) { HAL_WDTIMER_ENABLE_RESTART_RELOAD(); }