HelenOS sources

kernel/genarch/include/genarch/drivers/i8042/i8042.h
uspace/drv/char/i8042/i8042.h