/*
 * Copyright (c) 2018, ARM Limited and Contributors. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

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

/*
 * Error handler
 */
void plat_error_handler(int err)
{
	switch (err) {
	case -ENOENT:
	case -EAUTH:
		/* ToDo */
		break;
	default:
		/* Unexpected error */
		break;
	}

	/* Loop until the watchdog resets the system */
	for (;;)
		wfi();
}