/*
 * tl_arcounter_ctx.h
 */

#ifndef TL_ARCOUNTER_CTX_H_
#define TL_ARCOUNTER_CTX_H_

#include "tci.h"

#include "tz_arcounter_defs.h"

#include "stdbool.h"

typedef struct tl_arcounter_ctx {
	uint32_t arcounter_init_count;
} tl_arcounter_ctx_t;

tciReturnCode_t tl_arcounter_ctx_initialize(
	tl_arcounter_ctx_t * p
);

#endif /* TL_ARCOUNTER_CTX_H_ */