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
plat_ea_handler(unsigned int ea_reason,uint64_t syndrome,void * cookie,void * handle,uint64_t flags)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