Symbol: ps3_cpu_idle
sys/powerpc/ps3/platform_ps3.c
128
cpu_idle_hook = ps3_cpu_idle;
sys/powerpc/ps3/platform_ps3.c
74
static void ps3_cpu_idle(sbintime_t);