1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef __ASM_GENERIC_VSYSCALL_H
3#define __ASM_GENERIC_VSYSCALL_H
4
5#ifndef __ASSEMBLY__
6
7#ifndef __arch_get_vdso_u_time_data
8static __always_inline const struct vdso_time_data *__arch_get_vdso_u_time_data(void)
9{
10 return &vdso_u_time_data;
11}
12#endif
13
14#ifndef __arch_get_vdso_u_rng_data
15static __always_inline const struct vdso_rng_data *__arch_get_vdso_u_rng_data(void)
16{
17 return &vdso_u_rng_data;
18}
19#endif
20
21#ifndef __arch_update_vdso_clock
22static __always_inline void __arch_update_vdso_clock(struct vdso_clock *vc)
23{
24}
25#endif /* __arch_update_vdso_clock */
26
27#ifndef __arch_sync_vdso_time_data
28static __always_inline void __arch_sync_vdso_time_data(struct vdso_time_data *vdata)
29{
30}
31#endif /* __arch_sync_vdso_time_data */
32
33#endif /* !__ASSEMBLY__ */
34
35#endif /* __ASM_GENERIC_VSYSCALL_H */
36