Symbol: enter_idle_powerx
sys/powerpc/include/cpu.h
141
extern void enter_idle_powerx(void);
sys/powerpc/powerpc/cpu.c
851
enter_idle_powerx();