I8259_PIC1_BASE 129 kernel/arch/amd64/src/amd64.c (i8259_t *) I8259_PIC1_BASE, IVT_IRQBASE); I8259_PIC1_BASE 120 kernel/arch/ia32/src/ia32.c (i8259_t *) I8259_PIC1_BASE, IVT_IRQBASE);