ipmi_si_pci_shutdown   89 drivers/char/ipmi/ipmi_si.h void ipmi_si_pci_shutdown(void);
ipmi_si_pci_shutdown 2287 drivers/char/ipmi/ipmi_si_intf.c 	ipmi_si_pci_shutdown();