i8042_kbd_write 858 drivers/input/serio/i8042.c i8042_kbd_write(NULL, (unsigned char) 0xff); i8042_kbd_write 1327 drivers/input/serio/i8042.c serio->write = i8042_dumbkbd ? NULL : i8042_kbd_write;