HelenOS sources

I8259_OCW4_NSEOI  151 kernel/genarch/src/drivers/i8259/i8259.c 		pio_write_8(&saved_pic1->port1, I8259_OCW4 | I8259_OCW4_NSEOI);
I8259_OCW4_NSEOI  152 kernel/genarch/src/drivers/i8259/i8259.c 	pio_write_8(&saved_pic0->port1, I8259_OCW4 | I8259_OCW4_NSEOI);
I8259_OCW4_NSEOI  168 kernel/genarch/src/drivers/i8259/i8259.c 		pio_write_8(&saved_pic0->port1, I8259_OCW4 | I8259_OCW4_NSEOI);