esr_t 260 kernel/arch/amd64/src/smp/apic.c esr_t esr; esr_t 260 kernel/arch/ia32/src/smp/apic.c esr_t esr;