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);