Symbol: sparc64_send_ipi
sys/arch/sparc64/include/cpu.h
199
void sparc64_send_ipi(int, void (*)(void), u_int64_t, u_int64_t);
sys/arch/sparc64/sparc64/db_interface.c
446
sparc64_send_ipi(ci->ci_itid, ipi_db, 0, 0);
sys/arch/sparc64/sparc64/db_interface.c
512
sparc64_send_ipi(ci->ci_itid, ipi_db, 0, 0);
sys/arch/sparc64/sparc64/vm_machdep.c
260
sparc64_send_ipi(ci->ci_itid,