/* * Copyright (c) 2017-2018, ARM Limited and Contributors. All rights reserved. * Copyright (c) 2018, Icenowy Zheng * * SPDX-License-Identifier: BSD-3-Clause */ #include #include int sunxi_pmic_setup(void) { /* STUB */ NOTICE("BL31: STUB PMIC setup code called\n"); return 0; } void __dead2 sunxi_power_down(void) { ERROR("PSCI: Full shutdown not implemented, halting\n"); wfi(); panic(); }