Symbol: mach_cpu_halt_idle
usr/src/uts/sun4u/os/mach_startup.c
407
mach_cpu_halt_idle(void)
usr/src/uts/sun4v/os/mach_startup.c
281
mach_cpu_halt_idle(void)