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 #include <plat/common/platform.h>
11
12 #define ADVK_SERROR_SYNDROME 0xbf000002
13
plat_ea_handler(unsigned int ea_reason,uint64_t syndrome,void * cookie,void * handle,uint64_t flags)14 void plat_ea_handler(unsigned int ea_reason, uint64_t syndrome, void *cookie,
15 void *handle, uint64_t flags)
16 {
17 if (syndrome == ADVK_SERROR_SYNDROME)
18 return;
19
20 plat_default_ea_handler(ea_reason, syndrome, cookie, handle, flags);
21 }
22