Symbol: ps3_sys_manager_power_off
arch/powerpc/include/asm/ps3.h
433
void __noreturn ps3_sys_manager_power_off(void);
arch/powerpc/platforms/ps3/setup.c
85
ps3_sys_manager_power_off(); /* never returns */