HelenOS sources

i8259_init        128 kernel/arch/amd64/src/amd64.c 		i8259_init((i8259_t *) I8259_PIC0_BASE,
i8259_init        119 kernel/arch/ia32/src/ia32.c 		i8259_init((i8259_t *) I8259_PIC0_BASE,
i8259_init        102 kernel/arch/mips32/src/mach/malta/malta.c 	i8259_init((i8259_t *) PIC0_BASE, (i8259_t *) PIC1_BASE, 0);
i8259_init         50 kernel/genarch/include/genarch/drivers/i8259/i8259.h extern void i8259_init(i8259_t *, i8259_t *, unsigned int);