ps3_sys_manager_halt
void __noreturn ps3_sys_manager_halt(void);
ps3_sys_manager_halt(); /* never returns */
ps3_sys_manager_halt();