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,