1 // SPDX-License-Identifier: BSD-2-Clause 2 /* 3 * Copyright (c) 2014, STMicroelectronics International N.V. 4 */ 5 #include <tee_api.h> 6 #include <utee_syscalls.h> 7 8 /* System API - Misc */ 9 10 void TEE_Panic(TEE_Result panicCode) 11 { 12 utee_panic(panicCode); 13 } 14