Symbol: ipmi_smi_gone
drivers/char/ipmi/ipmi_devintf.c
829
static void ipmi_smi_gone(int if_num)
drivers/char/ipmi/ipmi_watchdog.c
1138
static void ipmi_smi_gone(int if_num)