1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright (c) 2023, Linaro Limited
4  */
5 
6 #ifndef __KERNEL_NV_COUNTER_H
7 #define __KERNEL_NV_COUNTER_H
8 
9 #include <tee_api_types.h>
10 #include <types_ext.h>
11 
12 TEE_Result nv_counter_get_ree_fs(uint32_t *value);
13 TEE_Result nv_counter_incr_ree_fs_to(uint32_t value);
14 
15 #endif /*__KERNEL_NV_COUNTER_H*/
16