HelenOS sources

l_apic_send_custom_ipi  362 kernel/arch/amd64/include/arch/smp/apic.h extern int l_apic_send_custom_ipi(uint8_t, uint8_t);
l_apic_send_custom_ipi  362 kernel/arch/ia32/include/arch/smp/apic.h extern int l_apic_send_custom_ipi(uint8_t, uint8_t);