blob: c1c95e586396c6dd9174c8fc641212cae62e05b0 [file] [log] [blame]
/*
* 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 */