1 // SPDX-License-Identifier: BSD-2-Clause 2 /* 3 * Copyright (c) 2023, Linaro Limited 4 */ 5 6 #include <compiler.h> 7 #include <kernel/nv_counter.h> 8 9 TEE_Result __weak nv_counter_get_ree_fs(uint32_t *value __unused) 10 { 11 return TEE_ERROR_NOT_IMPLEMENTED; 12 } 13 14 TEE_Result __weak nv_counter_incr_ree_fs_to(uint32_t value __unused) 15 { 16 return TEE_ERROR_NOT_IMPLEMENTED; 17 } 18