| /* | |
| * Copyright (c) 2018, ARM Limited and Contributors. All rights reserved. | |
| * | |
| * SPDX-License-Identifier: BSD-3-Clause | |
| */ | |
| #include <errno.h> | |
| #include <stdint.h> | |
| #include <arch_helpers.h> | |
| #include <common/debug.h> | |
| /* | |
| * Error handler | |
| */ | |
| void plat_error_handler(int err) | |
| { | |
| switch (err) { | |
| case -ENOENT: | |
| case -EAUTH: | |
| /* ToDo */ | |
| break; | |
| default: | |
| /* Unexpected error */ | |
| break; | |
| } | |
| /* Loop until the watchdog resets the system */ | |
| for (;;) | |
| wfi(); | |
| } |