WDT_PRE_TIMEOUT_INT  155 drivers/char/ipmi/ipmi_si_intf.c #define WDT_PRE_TIMEOUT_INT	0x08
WDT_PRE_TIMEOUT_INT  225 drivers/char/ipmi/ipmi_ssif.c #define WDT_PRE_TIMEOUT_INT	0x08