1 /* 2 * Copyright (C) 2019 Repk repk@triplefau.lt 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 * https://spdx.org/licenses 6 */ 7 #include <common/bl_common.h> 8 #include <common/debug.h> 9 #include <arch_helpers.h> 10 11 #define ADVK_SERROR_SYNDROME 0xbf000002 12 13 void plat_ea_handler(unsigned int ea_reason, uint64_t syndrome, void *cookie, 14 void *handle, uint64_t flags) 15 { 16 if (syndrome != ADVK_SERROR_SYNDROME) { 17 ERROR("Unhandled External Abort received on 0x%lx at EL3!\n", 18 read_mpidr_el1()); 19 ERROR(" exception reason=%u syndrome=0x%llx\n", ea_reason, 20 syndrome); 21 panic(); 22 } 23 } 24