1 /* 2 * Copyright (c) 2017-2018, ARM Limited and Contributors. All rights reserved. 3 * Copyright (c) 2018, Icenowy Zheng <icenowy@aosc.io> 4 * 5 * SPDX-License-Identifier: BSD-3-Clause 6 */ 7 8 #include <arch_helpers.h> 9 #include <debug.h> 10 11 int sunxi_pmic_setup(void) 12 { 13 /* STUB */ 14 NOTICE("BL31: STUB PMIC setup code called\n"); 15 16 return 0; 17 } 18 19 void __dead2 sunxi_power_down(void) 20 { 21 ERROR("PSCI: Full shutdown not implemented, halting\n"); 22 wfi(); 23 panic(); 24 } 25