Searched refs:ps3_sys_manager_restart (Results 1 – 3 of 3) sorted by relevance
58 void __noreturn ps3_sys_manager_restart(void) in ps3_sys_manager_restart() function
88 ps3_sys_manager_restart(); /* never returns */ in ps3_restart()
452 void __noreturn ps3_sys_manager_restart(void);