Symbol: WDT_PRE_TIMEOUT_INT
drivers/char/ipmi/ipmi_si_intf.c
162
#define WDT_PRE_TIMEOUT_INT 0x08
drivers/char/ipmi/ipmi_ssif.c
221
#define WDT_PRE_TIMEOUT_INT 0x08