Symbol: mach_cpu_pause
usr/src/uts/common/os/cpu.c
830
mach_cpu_pause(safe);
usr/src/uts/common/sys/cpuvar.h
626
void mach_cpu_pause(volatile char *);