| Juan Castillo | 9e75157 | 2014-11-17 17:27:41 +0000 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2015, ARM Limited and Contributors. All rights reserved. | ||||
| 3 | * | ||||
| dp-arm | fa3cf0b | 2017-05-03 09:38:09 +0100 | [diff] [blame] | 4 | * SPDX-License-Identifier: BSD-3-Clause |
| Juan Castillo | 9e75157 | 2014-11-17 17:27:41 +0000 | [diff] [blame] | 5 | */ |
| 6 | |||||
| 7 | #include <debug.h> | ||||
| 8 | |||||
| 9 | void exit(int v) | ||||
| 10 | { | ||||
| 11 | ERROR("EXIT\n"); | ||||
| 12 | panic(); | ||||
| 13 | } | ||||