Symbol: sparc64_send_ipi_sun4v
sys/arch/sparc64/sparc64/ipifuncs.c
201
sparc64_send_ipi = sparc64_send_ipi_sun4v;
sys/arch/sparc64/sparc64/ipifuncs.c
70
static void sparc64_send_ipi_sun4v(int, ipifunc_t, uint64_t, uint64_t);