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