Symbol: sparc64_do_pause
sys/arch/sparc64/include/intr.h
73
void sparc64_do_pause(void);
sys/arch/sparc64/sparc64/db_interface.c
1033
sparc64_do_pause();
sys/arch/sparc64/sparc64/ipifuncs.c
155
sparc64_do_pause();