HelenOS sources

I8259_PIC0_BASE   128 kernel/arch/amd64/src/amd64.c 		i8259_init((i8259_t *) I8259_PIC0_BASE,
I8259_PIC0_BASE   119 kernel/arch/ia32/src/ia32.c 		i8259_init((i8259_t *) I8259_PIC0_BASE,
HelenOS homepage, sources at GitHub