/*
 * Copyright (C) 2019 Repk repk@triplefau.lt
 *
 * SPDX-License-Identifier:	BSD-3-Clause
 * https://spdx.org/licenses
 */
#include <common/bl_common.h>
#include <common/debug.h>
#include <arch_helpers.h>

#define ADVK_SERROR_SYNDROME 0xbf000002

void plat_ea_handler(unsigned int ea_reason, uint64_t syndrome, void *cookie,
		void *handle, uint64_t flags)
{
	if (syndrome != ADVK_SERROR_SYNDROME) {
		ERROR("Unhandled External Abort received on 0x%lx at EL3!\n",
			read_mpidr_el1());
		ERROR(" exception reason=%u syndrome=0x%llx\n", ea_reason,
				syndrome);
		panic();
	}
}