drivers/misc/mediatek/mtee/tz_counter.h

/* SPDX-License-Identifier: GPL-2.0 */
/*
 * Copyright (c) 2021 MediaTek Inc.
 */

#ifndef __KREE_INC_COUNTER
#define __KREE_INC_COUNTER

/* enable counter implementation */
#ifndef CONFIG_DEVICE_MODULES_OPTEE
//#define ENABLE_INC_ONLY_COUNTER
#endif

int update_counter_thread(void *data);

#endif