/* | |
* 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> | |
#include <plat/common/platform.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) | |
return; | |
plat_default_ea_handler(ea_reason, syndrome, cookie, handle, flags); | |
} |