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 12 void __dead2 plat_error_handler(int err) 13 { 14 plat_arm_error_handler(err); 15 } 16 17 void __dead2 plat_system_reset(void) 18 { 19 plat_arm_system_reset(); 20 } 21