2018-08-17 10:45:47 +01:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2012-2017 Roberto E. Vargas Caballero
|
|
|
|
*
|
|
|
|
* SPDX-License-Identifier: BSD-3-Clause
|
|
|
|
*/
|
2018-08-15 19:51:09 +01:00
|
|
|
/*
|
2019-10-25 16:48:20 +01:00
|
|
|
* Portions copyright (c) 2018-2019, ARM Limited and Contributors.
|
2018-08-15 19:51:09 +01:00
|
|
|
* All rights reserved.
|
|
|
|
*/
|
2018-08-17 10:45:47 +01:00
|
|
|
|
2018-08-14 13:39:29 +01:00
|
|
|
#ifndef TIME_H
|
|
|
|
#define TIME_H
|
2018-08-17 10:45:47 +01:00
|
|
|
|
2019-10-25 17:12:41 +01:00
|
|
|
#include <stddef.h>
|
2018-08-17 10:45:47 +01:00
|
|
|
|
2019-10-25 16:48:20 +01:00
|
|
|
typedef long int time_t;
|
|
|
|
|
2018-08-14 13:39:29 +01:00
|
|
|
#endif /* TIME_H */
|