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