1 // SPDX-License-Identifier: GPL-2.0
2 /*
3 * Powerpc userspace implementations of gettimeofday() and similar.
4 */
5 #include <linux/time.h>
6 #include <linux/types.h>
7
__c_kernel_clock_gettime(clockid_t clock,struct __kernel_timespec * ts,const struct vdso_data * vd)8 int __c_kernel_clock_gettime(clockid_t clock, struct __kernel_timespec *ts,
9 const struct vdso_data *vd)
10 {
11 return __cvdso_clock_gettime_data(vd, clock, ts);
12 }
13
__c_kernel_gettimeofday(struct __kernel_old_timeval * tv,struct timezone * tz,const struct vdso_data * vd)14 int __c_kernel_gettimeofday(struct __kernel_old_timeval *tv, struct timezone *tz,
15 const struct vdso_data *vd)
16 {
17 return __cvdso_gettimeofday_data(vd, tv, tz);
18 }
19
__c_kernel_clock_getres(clockid_t clock_id,struct __kernel_timespec * res,const struct vdso_data * vd)20 int __c_kernel_clock_getres(clockid_t clock_id, struct __kernel_timespec *res,
21 const struct vdso_data *vd)
22 {
23 return __cvdso_clock_getres_data(vd, clock_id, res);
24 }
25
__c_kernel_time(__kernel_old_time_t * time,const struct vdso_data * vd)26 __kernel_old_time_t __c_kernel_time(__kernel_old_time_t *time, const struct vdso_data *vd)
27 {
28 return __cvdso_time_data(vd, time);
29 }
30