ps3_sys_manager_halt  441 arch/powerpc/include/asm/ps3.h void __noreturn ps3_sys_manager_halt(void);
ps3_sys_manager_halt   92 arch/powerpc/platforms/ps3/setup.c 	ps3_sys_manager_halt(); /* never returns */
ps3_sys_manager_halt   43 drivers/ps3/sys-manager-core.c 	ps3_sys_manager_halt();
ps3_sys_manager_halt   51 drivers/ps3/sys-manager-core.c 	ps3_sys_manager_halt();