Symbol: sparc64_ipi_nop
sys/arch/sparc64/include/intr.h
76
void sparc64_ipi_nop (void *, void *);
sys/arch/sparc64/sparc64/machdep.c
2636
sparc64_send_ipi(ci->ci_cpuid, sparc64_ipi_nop, 0, 0);
sys/arch/sparc64/sparc64/machdep.c
2652
sparc64_send_ipi(ci->ci_cpuid, sparc64_ipi_nop, 0, 0);