ps3_sys_manager_power_off  439 arch/powerpc/include/asm/ps3.h void __noreturn ps3_sys_manager_power_off(void);
ps3_sys_manager_power_off   84 arch/powerpc/platforms/ps3/setup.c 	ps3_sys_manager_power_off(); /* never returns */