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