i8042_kbdreset   1218 drivers/input/serio/i8042-x86ia64io.h 		i8042_kbdreset = true;
i8042_kbdreset     97 drivers/input/serio/i8042.c static bool i8042_kbdreset;
i8042_kbdreset     98 drivers/input/serio/i8042.c module_param_named(kbdreset, i8042_kbdreset, bool, 0);
i8042_kbdreset    856 drivers/input/serio/i8042.c 	if (i8042_kbdreset) {