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}
20