1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
| // SPDX-License-Identifier: BSD-2-Clause
| /*
| * Copyright (c) 2014, STMicroelectronics International N.V.
| * All rights reserved.
| */
| #include <stdint.h>
| #include <init.h>
| #include <tee_api.h>
|
| TEE_Result ta_entry_init(uint32_t param_types, TEE_Param params[4])
| {
| TEE_Time date;
| (void)param_types;
| (void)params;
|
| return TEE_GetTAPersistentTime(&date);
| }
|
|
