i8259_t 46 kernel/genarch/include/genarch/drivers/i8259/i8259.h } __attribute__((packed)) i8259_t; i8259_t 52 uspace/drv/intctl/i8259/i8259.h } i8259_t;