num_dbg          1213 drivers/char/ipmi/ipmi_ssif.c static int num_dbg;
num_dbg          1214 drivers/char/ipmi/ipmi_ssif.c module_param_array(dbg, int, &num_dbg, 0);