vdso_generic.c

 1// SPDX-License-Identifier: GPL-2.0
 2#include "../../../../lib/vdso/gettimeofday.c"
 3#include "vdso.h"
 4
 5int __s390_vdso_gettimeofday(struct __kernel_old_timeval *tv,
 6			     struct timezone *tz)
 7{
 8	return __cvdso_gettimeofday(tv, tz);
 9}
10
11int __s390_vdso_clock_gettime(clockid_t clock, struct __kernel_timespec *ts)
12{
13	return __cvdso_clock_gettime(clock, ts);
14}
15
16int __s390_vdso_clock_getres(clockid_t clock, struct __kernel_timespec *ts)
17{
18	return __cvdso_clock_getres(clock, ts);
19}