ps3_sys_manager_restart  440 arch/powerpc/include/asm/ps3.h void __noreturn ps3_sys_manager_restart(void);
ps3_sys_manager_restart   76 arch/powerpc/platforms/ps3/setup.c 	ps3_sys_manager_restart(); /* never returns */