Symbol: mach_cpu_idle
usr/src/uts/i86pc/os/mp_pc.c
438
mach_cpu_idle(void)
usr/src/uts/i86xpv/os/mp_xen.c
493
mach_cpu_idle(void)