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