void ps3_sys_manager_restart(void) { if (ps3_sys_manager_ops.restart) ps3_sys_manager_ops.restart(ps3_sys_manager_ops.dev); ps3_sys_manager_halt(); }
static void ps3_halt(void) { DBG("%s:%d\n", __func__, __LINE__); smp_send_stop(); ps3_sys_manager_halt(); /* never returns */ }
void ps3_sys_manager_power_off(void) { if (ps3_sys_manager_ops.power_off) ps3_sys_manager_ops.power_off(ps3_sys_manager_ops.dev); ps3_sys_manager_halt(); }