gettime.h

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