/* * 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(); }