11bb92983SJerome Forissier // SPDX-License-Identifier: BSD-2-Clause 2b0104773SPascal Brand /* 3b0104773SPascal Brand * Copyright (c) 2014, STMicroelectronics International N.V. 4b0104773SPascal Brand */ 5b0104773SPascal Brand #include <stdlib.h> 6b0104773SPascal Brand #include <stdio.h> 7b0104773SPascal Brand #include <tee_api.h> 86db75bd2SPascal Brand #include <compiler.h> 96db75bd2SPascal Brand #include <utee_syscalls.h> 10b0104773SPascal Brand abort(void)11b0104773SPascal Brandvoid abort(void) 12b0104773SPascal Brand { 13b0104773SPascal Brand printf("Abort!\n"); 14*2c028fdeSJerome Forissier _utee_panic(0); 150e1c6e8eSJerome Forissier /* Not reached */ 160e1c6e8eSJerome Forissier while (1) 170e1c6e8eSJerome Forissier ; 18b0104773SPascal Brand } 19