/*
 * Copyright (c) 2017-2018, ARM Limited and Contributors. All rights reserved.
 * Copyright (c) 2018, Icenowy Zheng <icenowy@aosc.io>
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#include <arch_helpers.h>
#include <debug.h>

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();
}