apic_get_name 141 kernel/arch/amd64/src/smp/apic.c const char *apic_get_name(void) apic_get_name 141 kernel/arch/ia32/src/smp/apic.c const char *apic_get_name(void)