1 /*
2  * Copyright (c) 2013-2024, Arm Limited and Contributors. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #include <cdefs.h>
8 #include "libc_platform.h"
9 
abort(void)10 void __dead2 abort(void)
11 {
12 	platform_abort();
13 }
14