hotmod_handler     17 drivers/char/ipmi/ipmi_si_hotmod.c static int hotmod_handler(const char *val, const struct kernel_param *kp);
hotmod_handler     19 drivers/char/ipmi/ipmi_si_hotmod.c module_param_call(hotmod, hotmod_handler, NULL, NULL, 0200);