HelenOS sources

l_apic_broadcast_custom_ipi  363 kernel/arch/amd64/include/arch/smp/apic.h extern int l_apic_broadcast_custom_ipi(uint8_t);
l_apic_broadcast_custom_ipi   42 kernel/arch/amd64/src/smp/ipi.c 	(void) l_apic_broadcast_custom_ipi((uint8_t) ipi);
l_apic_broadcast_custom_ipi  363 kernel/arch/ia32/include/arch/smp/apic.h extern int l_apic_broadcast_custom_ipi(uint8_t);
l_apic_broadcast_custom_ipi   42 kernel/arch/ia32/src/smp/ipi.c 	(void) l_apic_broadcast_custom_ipi((uint8_t) ipi);