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;