1 /*
2 * Copyright (C) 2024 Huawei Technologies Co., Ltd.
3 * Licensed under the Mulan PSL v2.
4 * You can use this software according to the terms and conditions of the Mulan PSL v2.
5 * You may obtain a copy of Mulan PSL v2 at:
6 * http://license.coscl.org.cn/MulanPSL2
7 * THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND, EITHER EXPRESS OR
8 * IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT, MERCHANTABILITY OR FIT FOR A PARTICULAR
9 * PURPOSE.
10 * See the Mulan PSL v2 for more details.
11 */
12
13 #include "tee_rtc_time_api.h"
14
tee_ext_create_timer(uint32_t time_seconds,TEE_timer_property * timer_property)15 TEE_Result tee_ext_create_timer(uint32_t time_seconds, TEE_timer_property *timer_property)
16 {
17 (void)time_seconds;
18 (void)timer_property;
19 return TEE_ERROR_NOT_SUPPORTED;
20 }
21
tee_ext_destory_timer(TEE_timer_property * timer_property)22 TEE_Result tee_ext_destory_timer(TEE_timer_property *timer_property)
23 {
24 (void)timer_property;
25 return TEE_ERROR_NOT_SUPPORTED;
26 }
27
tee_ext_get_timer_expire(TEE_timer_property * timer_property,uint32_t * time_seconds)28 TEE_Result tee_ext_get_timer_expire(TEE_timer_property *timer_property, uint32_t *time_seconds)
29 {
30 (void)time_seconds;
31 (void)timer_property;
32 return TEE_ERROR_NOT_SUPPORTED;
33 }
34
tee_ext_get_timer_remain(TEE_timer_property * timer_property,uint32_t * time_seconds)35 TEE_Result tee_ext_get_timer_remain(TEE_timer_property *timer_property, uint32_t *time_seconds)
36 {
37 (void)time_seconds;
38 (void)timer_property;
39 return TEE_ERROR_NOT_SUPPORTED;
40 }
41
tee_get_secure_rtc_time(void)42 unsigned int tee_get_secure_rtc_time(void)
43 {
44 return TEE_ERROR_NOT_SUPPORTED;
45 }