HelenOS sources

ipi_unicast_to     43 kernel/arch/sparc64/include/arch/sun4v/ipi.h extern uint64_t ipi_unicast_to(void (*)(void), uint16_t);
ipi_unicast_to    356 kernel/arch/sparc64/src/smp/sun4v/smp.c 	ipi_unicast_to((void (*)(void)) 1234, cpuid);