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