/* 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 */