writew(0x10, ESB_RELOAD_REG); 
writew(ESB_WDT_RELOAD, ESB_RELOAD_REG); 
static void esb_timer_keepalive(void){	spin_lock(&esb_lock);	esb_unlock_registers();	writew(0x10, ESB_RELOAD_REG);        /* FIXME: Do we need to flush anything here? */	spin_unlock(&esb_lock);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/ce2f50b4ae71f700c7b4b0bf0ff11c328611dae8/i6300esb.c/clean/drivers/char/watchdog/i6300esb.c