ipmi_bmc_unregister 3516 drivers/char/ipmi/ipmi_msghandler.c 	ipmi_bmc_unregister(intf);
ipmi_bmc_unregister 3621 drivers/char/ipmi/ipmi_msghandler.c 	ipmi_bmc_unregister(intf);