Symbol: ipmi_register_driver
drivers/char/ipmi/ipmi_msghandler.c
5617
rv = ipmi_register_driver();
drivers/char/ipmi/ipmi_msghandler.c
5649
rv = ipmi_register_driver();