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