1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright (c) 2014, STMicroelectronics International N.V.
4  */
5 #ifndef TIME_H
6 #define TIME_H
7 
8 #include <stddef.h>
9 #include <stdint.h>
10 
11 typedef int64_t time_t;
12 
13 #endif /*TIME_H*/
14