1 // SPDX-License-Identifier: BSD-2-Clause 2 /* 3 * Copyright (c) 2014, STMicroelectronics International N.V. 4 */ 5 6 #include <assert.h> 7 #include <compiler.h> 8 #include <trace.h> 9 #include <tee_internal_api.h> 10 #include <tee_internal_api_extensions.h> 11 #include <utee_syscalls.h> 12 13 void _assert_log(const char *expr __maybe_unused, 14 const char *file __maybe_unused, 15 const int line __maybe_unused, 16 const char *func __maybe_unused) 17 { 18 EMSG_RAW("assertion '%s' failed at %s:%d in %s()", 19 expr, file, line, func); 20 } 21 22 void __noreturn _assert_break(void) 23 { 24 _utee_panic(TEE_ERROR_GENERIC); 25 /* Not reached */ 26 while (1) 27 ; 28 } 29