l_apic_broadcast_custom_ipi 336 kernel/arch/amd64/src/smp/apic.c int l_apic_broadcast_custom_ipi(uint8_t vector) l_apic_broadcast_custom_ipi 336 kernel/arch/ia32/src/smp/apic.c int l_apic_broadcast_custom_ipi(uint8_t vector)HelenOS homepage, sources at GitHub