xref: /optee_os/lib/libutee/tee_api_panic.c (revision 2c028fdebbedee91f88f6c5325b5064a124dfe46)

// 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);
}