HelenOS sources

i8259_eoi          95 kernel/arch/mips32/src/mach/malta/malta.c 	i8259_eoi(isa_irq);
i8259_eoi          53 kernel/genarch/include/genarch/drivers/i8259/i8259.h extern void i8259_eoi(unsigned int);
i8259_eoi          67 kernel/genarch/src/drivers/i8259/i8259.c 	.eoi = i8259_eoi,