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 85069c1cfSIcenowy Zheng #include <arch_helpers.h> 97c26b6ecSIcenowy Zheng #include <debug.h> 107c26b6ecSIcenowy Zheng 11*fe57c7d4SAndre Przywara int sunxi_pmic_setup(uint16_t socid) 127c26b6ecSIcenowy Zheng { 137c26b6ecSIcenowy Zheng /* STUB */ 147c26b6ecSIcenowy Zheng NOTICE("BL31: STUB PMIC setup code called\n"); 157c26b6ecSIcenowy Zheng 167c26b6ecSIcenowy Zheng return 0; 177c26b6ecSIcenowy Zheng } 185069c1cfSIcenowy Zheng 195069c1cfSIcenowy Zheng void __dead2 sunxi_power_down(void) 205069c1cfSIcenowy Zheng { 215069c1cfSIcenowy Zheng ERROR("PSCI: Full shutdown not implemented, halting\n"); 225069c1cfSIcenowy Zheng wfi(); 235069c1cfSIcenowy Zheng panic(); 245069c1cfSIcenowy Zheng } 25