| Etienne Carriere | 7514117 | 2020-05-16 11:58:23 +0200 | [diff] [blame] | 1 | // SPDX-License-Identifier: BSD-2-Clause |
| Pascal Brand | c639ac8 | 2015-07-02 08:53:34 +0200 | [diff] [blame] | 2 | /* |
| 3 | * Copyright (c) 2014, STMicroelectronics International N.V. |
| 4 | * All rights reserved. |
| Pascal Brand | c639ac8 | 2015-07-02 08:53:34 +0200 | [diff] [blame] | 5 | */ |
| 6 | #include <stdint.h> |
| 7 | #include <init.h> |
| 8 | #include <tee_api.h> |
| 9 | |
| 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 | } |