/* * Copyright (c) 2015-2018, ARM Limited and Contributors. All rights reserved. * * SPDX-License-Identifier: BSD-3-Clause */ #include <debug.h> #include <stdlib.h> void exit(int v) { ERROR("EXIT\n"); panic(); }