Sign in
coral
/
optee-os-mtk
/
479c49dd9247118109448e5be0883f08e80c5f46
/
.
/
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
);
}