Sign in
coral
/
optee-os-mtk
/
3196a2d15c867f3d9331ab9cf1155523c30c58b6
/
.
/
lib
/
libutee
/
tee_api_panic.c
blob: db696f7b338b3f70b233deb54912d1c1c280d165 [
file
] [
log
] [
blame
]
// SPDX-License-Identifier: BSD-2-Clause
/*
* Copyright (c) 2014, STMicroelectronics International N.V.
*/
#include
<tee_api.h>
#include
<utee_syscalls.h>
/* System API - Misc */
void
TEE_Panic
(
TEE_Result panicCode
)
{
utee_panic
(
panicCode
);
}