1 /*
2  * Copyright (c) 2012-2017 Roberto E. Vargas Caballero
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 /*
7  * Portions copyright (c) 2018-2019, ARM Limited and Contributors.
8  * All rights reserved.
9  */
10 
11 #ifndef TIME_H
12 #define TIME_H
13 
14 #include <stddef.h>
15 
16 typedef long int time_t;
17 
18 #endif /* TIME_H */
19