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