hc
2023-10-25 6c2073b7aa40e29d0eca7d571dd7bc590c7ecaa7
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*/