/* Reload counter one with the watchdog heartbeat. We don't bother reloading the cascade counter.  */
static void wdt_ping(void)
/* Reload counter one with the watchdog heartbeat. We don't bother reloading the cascade counter.  */
static void wdt_ping(void)
{
	unsigned long flags;
	spin_lock_irqsave(&wdt_lock, flags);
	inb_p(WDT_DC);
	wdt_ctr_mode(1, 2);
	wdt_ctr_load(1, wd_heartbeat);
	outb_p(0, WDT_DC);
	spin_unlock_irqrestore(&wdt_lock, flags);
}