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