Symbol: ps3_sys_manager_restart
arch/powerpc/include/asm/ps3.h
437
void __noreturn ps3_sys_manager_restart(void);
arch/powerpc/platforms/ps3/setup.c
78
ps3_sys_manager_restart(); /* never returns */