/* SPDX-License-Identifier: BSD-2-Clause */ | |
/* | |
* Copyright (c) 2014, STMicroelectronics International N.V. | |
*/ | |
#ifndef TEE_MON_H | |
#define TEE_MON_H | |
#include <stdbool.h> | |
#include <stdint.h> | |
#include <stdarg.h> | |
#include "tee_api_types.h" | |
#include "user_ta_header.h" | |
extern TEE_Result init_teecore(void); | |
#endif /* TEE_MON_H */ |