/* Reload the watchdog timer. (ie, pat the watchdog)  */
static void ks8695_wdt_reload(void)
/* Reload the watchdog timer. (ie, pat the watchdog)  */
static void ks8695_wdt_reload(void)
{
	unsigned long tmcon;
	spin_lock(&ks8695_lock);
	tmcon = __raw_readl(KS8695_TMR_VA + KS8695_TMCON);
	__raw_writel(tmcon & ~TMCON_T0EN, KS8695_TMR_VA + KS8695_TMCON);
	__raw_writel(tmcon | TMCON_T0EN, KS8695_TMR_VA + KS8695_TMCON);
	spin_unlock(&ks8695_lock);
}