/* | |
* 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 <time_.h> | |
typedef long int time_t; | |
#ifndef NULL | |
#define NULL ((void *) 0) | |
#endif | |
#endif /* TIME_H */ |