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);}