nokbd              32 drivers/input/serio/i8042.c module_param_named(nokbd, i8042_nokbd, bool, 0);
nokbd              33 drivers/input/serio/i8042.c MODULE_PARM_DESC(nokbd, "Do not probe or use KBD port.");