2015-10-06 14:01:35 +01:00
|
|
|
/*
|
2019-07-04 14:58:45 +01:00
|
|
|
* Copyright (c) 2015-2019, ARM Limited and Contributors. All rights reserved.
|
2015-10-06 14:01:35 +01:00
|
|
|
*
|
2017-05-03 09:38:09 +01:00
|
|
|
* SPDX-License-Identifier: BSD-3-Clause
|
2015-10-06 14:01:35 +01:00
|
|
|
*/
|
|
|
|
|
|
|
|
#include <errno.h>
|
2018-12-14 00:18:21 +00:00
|
|
|
|
2019-01-25 14:30:04 +00:00
|
|
|
#include <plat/arm/common/plat_arm.h>
|
2018-12-14 00:18:21 +00:00
|
|
|
#include <plat/common/platform.h>
|
|
|
|
|
2018-09-03 17:41:13 +01:00
|
|
|
void __dead2 plat_error_handler(int err)
|
|
|
|
{
|
|
|
|
plat_arm_error_handler(err);
|
|
|
|
}
|