HelenOS sources

I8259_ICW1         82 kernel/genarch/src/drivers/i8259/i8259.c 	pio_write_8(&pic0->port1, I8259_ICW1 | I8259_ICW1_NEEDICW4);
I8259_ICW1         94 kernel/genarch/src/drivers/i8259/i8259.c 	pio_write_8(&pic1->port1, I8259_ICW1 | I8259_ICW1_NEEDICW4);