wdt_tick_rate = (*IXP2000_T1_CLD * HZ)/ 256;; 
if ((*IXP2000_PRODUCT_ID & 0x001ffef0) == 0x00000000) { printk(KERN_INFO "Unable to use IXP2000 watchdog due to IXP2800 erratum #25.\n"); return -EIO; }  wdt_tick_rate = (*IXP2000_T1_CLD * HZ) / 256; 
static int __init ixp2000_wdt_init(void){	wdt_tick_rate = (*IXP2000_T1_CLD * HZ)/ 256;;	return misc_register(&ixp2000_wdt_miscdev);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/e4fe19819ef32950541503042f32e71b67edffc7/ixp2000_wdt.c/buggy/drivers/char/watchdog/ixp2000_wdt.c