i8042_t 46 kernel/genarch/include/genarch/drivers/i8042/i8042.h } __attribute__((packed)) i8042_t; i8042_t 94 uspace/drv/char/i8042/i8042.h } i8042_t;