1 /* 2 * Copyright (c) 2018, ARM Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #include <arch.h> 8 #include <arch_helpers.h> 9 #include <debug.h> 10 #include <plat_imx8.h> 11 #include <sci/sci.h> 12 #include <stdbool.h> 13 14 void __dead2 imx_system_off(void) 15 { 16 sc_pm_set_sys_power_mode(ipc_handle, SC_PM_PW_MODE_OFF); 17 wfi(); 18 ERROR("power off failed.\n"); 19 panic(); 20 } 21 22 void __dead2 imx_system_reset(void) 23 { 24 sc_pm_reset(ipc_handle, SC_PM_RESET_TYPE_BOARD); 25 wfi(); 26 ERROR("system reset failed.\n"); 27 panic(); 28 } 29 30