/* Reload counter one with the watchdog heartbeat. We don't bother reloading the cascade counter.  */
static int wdtpci_ping(void)
/* Reload counter one with the watchdog heartbeat. We don't bother reloading the cascade counter.  */
static int wdtpci_ping(void)
{
	unsigned long flags;
	spin_lock_irqsave(&wdtpci_lock, flags);
	inb(WDT_DC);
	udelay(8);
	wdtpci_ctr_mode(1, 2);
	wdtpci_ctr_load(1, wd_heartbeat);
	outb(0, WDT_DC);
	udelay(8);
	spin_unlock_irqrestore(&wdtpci_lock, flags);
	return 0;
}