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