writew(0x10, ESB_RELOAD_REG); 
writew(ESB_WDT_RELOAD, ESB_RELOAD_REG); 
static int esb_timer_stop(void){	u8 val;	spin_lock(&esb_lock);	/* First, reset timers as suggested by the docs */	esb_unlock_registers();	writew(0x10, ESB_RELOAD_REG);	/* Then disable the WDT */	pci_write_config_byte(esb_pci, ESB_LOCK_REG, 0x0);	pci_read_config_byte(esb_pci, ESB_LOCK_REG, &val);	spin_unlock(&esb_lock);	/* Returns 0 if the timer was disabled, non-zero otherwise */	return (val & 0x01);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/ce2f50b4ae71f700c7b4b0bf0ff11c328611dae8/i6300esb.c/clean/drivers/char/watchdog/i6300esb.c