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