/* wdog is the iomem address of the cfg register  */
void sbwdog_set(char __iomem *wdog, unsigned long t)
/* wdog is the iomem address of the cfg register  */
void sbwdog_set(char __iomem *wdog, unsigned long t)
{
	spin_lock(&sbwd_lock);
	__raw_writeb(0, wdog - 0x10);
	__raw_writeq(t & 0x7fffffUL, wdog);
	spin_unlock(&sbwd_lock);
}