xref: /optee_os/core/kernel/nv_counter.c (revision 200cc96dc3558b17c0bc415229308ba4a8fffc42) 
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 #include <compiler.h>
7*200cc96dSJens Wiklander #include <kernel/nv_counter.h>
8*200cc96dSJens Wiklander 
nv_counter_get_ree_fs(uint32_t * value __unused)9*200cc96dSJens Wiklander TEE_Result __weak nv_counter_get_ree_fs(uint32_t *value __unused)
10*200cc96dSJens Wiklander {
11*200cc96dSJens Wiklander 	return TEE_ERROR_NOT_IMPLEMENTED;
12*200cc96dSJens Wiklander }
13*200cc96dSJens Wiklander 
nv_counter_incr_ree_fs_to(uint32_t value __unused)14*200cc96dSJens Wiklander TEE_Result __weak nv_counter_incr_ree_fs_to(uint32_t value __unused)
15*200cc96dSJens Wiklander {
16*200cc96dSJens Wiklander 	return TEE_ERROR_NOT_IMPLEMENTED;
17*200cc96dSJens Wiklander }
18