42 lines
961 B
C
42 lines
961 B
C
/* SPDX-License-Identifier: GPL-2.0 */
|
|
#ifndef ASM_VDSO_GETTIMEOFDAY_H
|
|
#define ASM_VDSO_GETTIMEOFDAY_H
|
|
|
|
#define VDSO_HAS_TIME 1
|
|
|
|
#define VDSO_HAS_CLOCK_GETRES 1
|
|
|
|
#define VDSO_DELTA_NOMASK 1
|
|
|
|
#include <asm/syscall.h>
|
|
#include <asm/timex.h>
|
|
#include <asm/unistd.h>
|
|
#include <linux/compiler.h>
|
|
|
|
|
|
static inline u64 __arch_get_hw_counter(s32 clock_mode, const struct vdso_time_data *vd)
|
|
{
|
|
return get_tod_clock() - vd->arch_data.tod_delta;
|
|
}
|
|
|
|
static __always_inline
|
|
long clock_gettime_fallback(clockid_t clkid, struct __kernel_timespec *ts)
|
|
{
|
|
return syscall2(__NR_clock_gettime, (long)clkid, (long)ts);
|
|
}
|
|
|
|
static __always_inline
|
|
long gettimeofday_fallback(register struct __kernel_old_timeval *tv,
|
|
register struct timezone *tz)
|
|
{
|
|
return syscall2(__NR_gettimeofday, (long)tv, (long)tz);
|
|
}
|
|
|
|
static __always_inline
|
|
long clock_getres_fallback(clockid_t clkid, struct __kernel_timespec *ts)
|
|
{
|
|
return syscall2(__NR_clock_getres, (long)clkid, (long)ts);
|
|
}
|
|
|
|
#endif
|