1 | /* SPDX-License-Identifier: GPL-2.0 */ |
---|---|
2 | #ifndef _VDSO_GETTIME_H |
3 | #define _VDSO_GETTIME_H |
4 | |
5 | #include <linux/types.h> |
6 | |
7 | struct __kernel_timespec; |
8 | struct timezone; |
9 | |
10 | #if !defined(CONFIG_64BIT) || defined(BUILD_VDSO32_64) |
11 | struct old_timespec32; |
12 | int __vdso_clock_getres(clockid_t clock, struct old_timespec32 *res); |
13 | int __vdso_clock_gettime(clockid_t clock, struct old_timespec32 *ts); |
14 | #else |
15 | int __vdso_clock_getres(clockid_t clock, struct __kernel_timespec *res); |
16 | int __vdso_clock_gettime(clockid_t clock, struct __kernel_timespec *ts); |
17 | #endif |
18 | |
19 | __kernel_old_time_t __vdso_time(__kernel_old_time_t *t); |
20 | int __vdso_gettimeofday(struct __kernel_old_timeval *tv, struct timezone *tz); |
21 | int __vdso_clock_gettime64(clockid_t clock, struct __kernel_timespec *ts); |
22 | |
23 | #endif |
24 |