1 /*
2  * Copyright (c) 2015-2019, ARM Limited and Contributors. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #include <errno.h>
8 
9 #include <plat/arm/common/plat_arm.h>
10 #include <plat/common/platform.h>
11 
plat_error_handler(int err)12 void __dead2 plat_error_handler(int err)
13 {
14 	plat_arm_error_handler(err);
15 }
16 
plat_system_reset(void)17 void __dead2 plat_system_reset(void)
18 {
19 	plat_arm_system_reset();
20 }
21