Symbol: mach_cpu_halt_idle
usr/src/uts/sun4/os/startup.c
2197
mach_cpu_halt_idle();
usr/src/uts/sun4/os/startup.c
80
extern void mach_cpu_halt_idle(void);