HelenOS sources

ipi_broadcast      40 kernel/generic/include/smp/ipi.h extern void ipi_broadcast(int);
ipi_broadcast     146 kernel/generic/src/mm/tlb.c 	ipi_broadcast(VECTOR_TLB_SHOOTDOWN_IPI);