HelenOS sources

sun4v_ipi_init     44 kernel/arch/sparc64/include/arch/trap/sun4v/interrupt.h extern void sun4v_ipi_init(void);
sun4v_ipi_init     76 kernel/arch/sparc64/src/cpu/sun4v/cpu.c 	sun4v_ipi_init();