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