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)