Search notes:
drivers/input/serio/i8042
i8042 keyboard and mouse controller driver for Linux
Index