HelenOS sources
kernel/arch/sparc64/include/arch/sun4v/ipi.h
kernel/generic/include/smp/ipi.h
HelenOS homepage
,
sources at GitHub