/* SPDX-License-Identifier: BSD-2-Clause */
/*
 * Copyright (c) 2014, STMicroelectronics International N.V.
 */
#ifndef __KERNEL_TEE_COMMON_H
#define __KERNEL_TEE_COMMON_H

#include <stdlib.h>

#ifdef MEASURE_TIME
/*
 * Initializes mesaure time. Initializes RTT0 to highest possible
 * resolution.
 */
void tee_mtime_init(void);

/*
 * Adds a time stamp together the description. Note that only the pointer
 * is copied, not the contents to minimize impact.
 */
void tee_mtime_stamp(const char *descr);

/*
 * Prints a report of measured times and reinitializes clears the table of
 * saved time stamps.
 */
void tee_mtime_report(void);

void tee_mtime_perftest(void);
#else
/* Empty macros to not have any impact on code when not meassuring time */
#define tee_mtime_init() do { } while (0)
#define tee_mtime_stamp(descr) do { } while (0)
#define tee_mtime_report() do { } while (0)
#define tee_mtime_perftest()  do { } while (0)
#endif

#endif /* __KERNEL_TEE_COMMON_H */