HelenOS sources

I8259_IRQ_SLAVE    88 kernel/genarch/src/drivers/i8259/i8259.c 	pio_write_8(&pic0->port2, 1 << I8259_IRQ_SLAVE);
I8259_IRQ_SLAVE   100 kernel/genarch/src/drivers/i8259/i8259.c 	pio_write_8(&pic1->port2, I8259_IRQ_SLAVE);
I8259_IRQ_SLAVE   108 kernel/genarch/src/drivers/i8259/i8259.c 	i8259_enable_irqs(1 << I8259_IRQ_SLAVE);