Esempio n. 1
0
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();
}
Esempio n. 2
0
static void watchdog_ping(void)
{	
    HAL_WDTIMER_ENABLE_RESTART_RELOAD();
}