IO_APIC_BASE 89 kernel/arch/amd64/src/smp/apic.c volatile uint32_t *io_apic = (uint32_t *) IO_APIC_BASE; IO_APIC_BASE 89 kernel/arch/ia32/src/smp/apic.c volatile uint32_t *io_apic = (uint32_t *) IO_APIC_BASE;