HelenOS sources

kernel/genarch/include/genarch/drivers/i8259/i8259.h
uspace/drv/intctl/i8259/i8259.h