l_apic_eoi 532 kernel/arch/amd64/src/smp/apic.c void l_apic_eoi(unsigned int ignored) l_apic_eoi 532 kernel/arch/ia32/src/smp/apic.c void l_apic_eoi(unsigned int ignored)