Symbol: raise_ipi
sys/arch/sparc/sparc/cpu.c
1007
raise_ipi(cpi,15); /* high priority intr */
sys/arch/sparc/sparc/cpu.c
814
raise_ipi(cpi,13+fasttrap);/*xcall_cookie->pil*/
sys/arch/sparc/sparc/timer_sun4m.c
135
raise_ipi(cpi, IPL_HARDCLOCK);
sys/arch/sparc/sparc/timer_sun4m.c
225
raise_ipi(&cpuinfo, IPL_SCHED); /* sched_cookie->pil */