/*
 * 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 */