kbdreset           98 drivers/input/serio/i8042.c module_param_named(kbdreset, i8042_kbdreset, bool, 0);
kbdreset           99 drivers/input/serio/i8042.c MODULE_PARM_DESC(kbdreset, "Reset device connected to KBD port");