17c26b6ecSIcenowy Zheng /* 27c26b6ecSIcenowy Zheng * Copyright (c) 2017-2018, ARM Limited and Contributors. All rights reserved. 37c26b6ecSIcenowy Zheng * Copyright (c) 2018, Icenowy Zheng <icenowy@aosc.io> 47c26b6ecSIcenowy Zheng * 57c26b6ecSIcenowy Zheng * SPDX-License-Identifier: BSD-3-Clause 67c26b6ecSIcenowy Zheng */ 77c26b6ecSIcenowy Zheng 8*5069c1cfSIcenowy Zheng #include <arch_helpers.h> 97c26b6ecSIcenowy Zheng #include <debug.h> 107c26b6ecSIcenowy Zheng 117c26b6ecSIcenowy Zheng int sunxi_pmic_setup(void) 127c26b6ecSIcenowy Zheng { 137c26b6ecSIcenowy Zheng /* STUB */ 147c26b6ecSIcenowy Zheng NOTICE("BL31: STUB PMIC setup code called\n"); 157c26b6ecSIcenowy Zheng 167c26b6ecSIcenowy Zheng return 0; 177c26b6ecSIcenowy Zheng } 18*5069c1cfSIcenowy Zheng 19*5069c1cfSIcenowy Zheng void __dead2 sunxi_power_down(void) 20*5069c1cfSIcenowy Zheng { 21*5069c1cfSIcenowy Zheng ERROR("PSCI: Full shutdown not implemented, halting\n"); 22*5069c1cfSIcenowy Zheng wfi(); 23*5069c1cfSIcenowy Zheng panic(); 24*5069c1cfSIcenowy Zheng } 25