drivers/input/serio/i8042.h
include/linux/i8042.h