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