IPMI_DRIVER_VERSION 5170 drivers/char/ipmi/ipmi_msghandler.c 	pr_info("version " IPMI_DRIVER_VERSION "\n");
IPMI_DRIVER_VERSION 5222 drivers/char/ipmi/ipmi_msghandler.c MODULE_VERSION(IPMI_DRIVER_VERSION);