Symbol: ipi_softint
sys/arch/sparc64/sparc64/ipifuncs.c
254
sun4v_send_ipi(ci->ci_itid, ipi_softint, 1 << IPL_SOFTINT, 0);
sys/arch/sparc64/sparc64/ipifuncs.c
256
sun4u_send_ipi(ci->ci_itid, ipi_softint, 1 << IPL_SOFTINT, 0);
sys/arch/sparc64/sparc64/ipifuncs.c
56
void ipi_softint(void);