Symbol: sparc64_ipi_pause_thiscpu
sys/arch/sparc64/include/intr.h
72
void sparc64_ipi_pause_thiscpu (void *);
sys/arch/sparc64/sparc64/db_interface.c
174
sparc64_ipi_pause_thiscpu(tf);
sys/arch/sparc64/sparc64/kgdb_machdep.c
219
sparc64_ipi_pause_thiscpu(NULL);