Antonio Nino Diaz | cf0f805 | 2018-08-17 10:45:47 +0100 | [diff] [blame] | 1 | /* |
2 | * Copyright (c) 2012-2017 Roberto E. Vargas Caballero | ||||
3 | * | ||||
4 | * SPDX-License-Identifier: BSD-3-Clause | ||||
5 | */ | ||||
Antonio Nino Diaz | 6ef1612 | 2018-08-15 19:51:09 +0100 | [diff] [blame] | 6 | /* |
Govindraj Raja | eee28e7 | 2023-08-01 15:52:40 -0500 | [diff] [blame] | 7 | * Portions copyright (c) 2018-2019, Arm Limited and Contributors. |
Antonio Nino Diaz | 6ef1612 | 2018-08-15 19:51:09 +0100 | [diff] [blame] | 8 | * All rights reserved. |
9 | */ | ||||
Antonio Nino Diaz | cf0f805 | 2018-08-17 10:45:47 +0100 | [diff] [blame] | 10 | |
Antonio Nino Diaz | 17605e7 | 2018-08-14 13:39:29 +0100 | [diff] [blame] | 11 | #ifndef TIME_H |
12 | #define TIME_H | ||||
Antonio Nino Diaz | cf0f805 | 2018-08-17 10:45:47 +0100 | [diff] [blame] | 13 | |
Bence Szépkúti | 92410c9 | 2019-10-25 18:12:41 +0200 | [diff] [blame] | 14 | #include <stddef.h> |
Antonio Nino Diaz | cf0f805 | 2018-08-17 10:45:47 +0100 | [diff] [blame] | 15 | |
Bence Szépkúti | fddf518 | 2019-10-25 17:48:20 +0200 | [diff] [blame] | 16 | typedef long int time_t; |
17 | |||||
Antonio Nino Diaz | 17605e7 | 2018-08-14 13:39:29 +0100 | [diff] [blame] | 18 | #endif /* TIME_H */ |