Symbol: ipmi_si_pci_init
drivers/char/ipmi/ipmi_si.h
98
void ipmi_si_pci_init(void);
drivers/char/ipmi/ipmi_si_intf.c
2148
ipmi_si_pci_init();