24 lines
580 B
C
24 lines
580 B
C
/*
|
|
* 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();
|
|
}
|
|
}
|