| Juan Castillo | b6132f1 | 2015-10-06 14:01:35 +0100 | [diff] [blame] | 1 | /* |
| Ambroise Vincent | fa42c9e | 2019-07-04 14:58:45 +0100 | [diff] [blame] | 2 | * Copyright (c) 2015-2019, ARM Limited and Contributors. All rights reserved. |
| Juan Castillo | b6132f1 | 2015-10-06 14:01:35 +0100 | [diff] [blame] | 3 | * |
| dp-arm | fa3cf0b | 2017-05-03 09:38:09 +0100 | [diff] [blame] | 4 | * SPDX-License-Identifier: BSD-3-Clause |
| Juan Castillo | b6132f1 | 2015-10-06 14:01:35 +0100 | [diff] [blame] | 5 | */ |
| 6 | |
| Juan Castillo | b6132f1 | 2015-10-06 14:01:35 +0100 | [diff] [blame] | 7 | #include <errno.h> |
| Antonio Nino Diaz | e0f9063 | 2018-12-14 00:18:21 +0000 | [diff] [blame] | 8 | |
| Antonio Nino Diaz | bd7b740 | 2019-01-25 14:30:04 +0000 | [diff] [blame] | 9 | #include <plat/arm/common/plat_arm.h> |
| Antonio Nino Diaz | e0f9063 | 2018-12-14 00:18:21 +0000 | [diff] [blame] | 10 | #include <plat/common/platform.h> |
| 11 | |
| Sathees Balya | 2257607 | 2018-09-03 17:41:13 +0100 | [diff] [blame] | 12 | void __dead2 plat_error_handler(int err) |
| 13 | { |
| 14 | plat_arm_error_handler(err); |
| 15 | } |
| Manish V Badarkhe | fcfe431 | 2022-07-12 21:48:04 +0100 | [diff] [blame] | 16 | |
| 17 | void __dead2 plat_system_reset(void) |
| 18 | { |
| 19 | plat_arm_system_reset(); |
| 20 | } |