1 // SPDX-License-Identifier: BSD-2-Clause
2 /*
3  * Copyright (c) 2014, STMicroelectronics International N.V.
4  */
5 #include <stdlib.h>
6 #include <stdio.h>
7 #include <tee_api.h>
8 #include <compiler.h>
9 #include <utee_syscalls.h>
10 
abort(void)11 void abort(void)
12 {
13 	printf("Abort!\n");
14 	_utee_panic(0);
15 	/* Not reached */
16 	while (1)
17 		;
18 }
19