Orange Pi5 kernel

^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  1) // SPDX-License-Identifier: GPL-2.0
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  2) /*
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  3)  * Copied from arch/arm64/kernel/vdso/vgettimeofday.c
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  4)  *
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  5)  * Copyright (C) 2018 ARM Ltd.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  6)  * Copyright (C) 2020 SiFive
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  7)  */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  8) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  9) #include <linux/time.h>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 10) #include <linux/types.h>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 11) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 12) extern
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 13) int __vdso_clock_gettime(clockid_t clock, struct __kernel_timespec *ts);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 14) int __vdso_clock_gettime(clockid_t clock, struct __kernel_timespec *ts)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 15) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 16) 	return __cvdso_clock_gettime(clock, ts);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 17) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 18) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 19) extern
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 20) int __vdso_gettimeofday(struct __kernel_old_timeval *tv, struct timezone *tz);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 21) int __vdso_gettimeofday(struct __kernel_old_timeval *tv, struct timezone *tz)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 22) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 23) 	return __cvdso_gettimeofday(tv, tz);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 24) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 25) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 26) extern
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 27) int __vdso_clock_getres(clockid_t clock_id, struct __kernel_timespec *res);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 28) int __vdso_clock_getres(clockid_t clock_id, struct __kernel_timespec *res)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 29) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 30) 	return __cvdso_clock_getres(clock_id, res);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 31) }