l_apic_id_t 264 kernel/arch/amd64/include/arch/smp/apic.h } l_apic_id_t; l_apic_id_t 264 kernel/arch/ia32/include/arch/smp/apic.h } l_apic_id_t;