Symbol: cpu_idle_booke
sys/powerpc/powerpc/cpu.c
641
cpu_idle_hook = cpu_idle_booke;
sys/powerpc/powerpc/cpu.c
93
static void cpu_idle_booke(sbintime_t);