cleanup_ipmi      891 drivers/char/ipmi/ipmi_devintf.c static void __exit cleanup_ipmi(void)
cleanup_ipmi     5179 drivers/char/ipmi/ipmi_msghandler.c static void __exit cleanup_ipmi(void)