Symbol: phyp_cpu_idle
sys/powerpc/pseries/platform_chrp.c
157
cpu_idle_hook = phyp_cpu_idle;
sys/powerpc/pseries/platform_chrp.c
86
static void phyp_cpu_idle(sbintime_t sbt);