| /* | |
| * Copyright (c) 2012-2017 Roberto E. Vargas Caballero | |
| * | |
| * SPDX-License-Identifier: BSD-3-Clause | |
| */ | |
| /* | |
| * Portions copyright (c) 2018-2019, ARM Limited and Contributors. | |
| * All rights reserved. | |
| */ | |
| #ifndef TIME_H | |
| #define TIME_H | |
| #include <stddef.h> | |
| typedef long int time_t; | |
| #endif /* TIME_H */ |