1 /*
2  * SPDX-License-Identifier: BSD-3-Clause
3  * SPDX-FileCopyrightText: Copyright TF-RMM Contributors.
4  */
5 
6 #include <debug.h>
7 
abort(void)8 void abort(void)
9 {
10 	ERROR("ABORT\n");
11 	panic();
12 }
13