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 #ifdef CONFIG_GENERIC_VDSO_DATA_STORE
8 
9 #ifndef __arch_get_vdso_u_time_data
10 static __always_inline const struct vdso_time_data *__arch_get_vdso_u_time_data(void)
11 {
12 	return &vdso_u_time_data;
13 }
14 #endif
15 
16 #ifndef __arch_get_vdso_u_rng_data
17 static __always_inline const struct vdso_rng_data *__arch_get_vdso_u_rng_data(void)
18 {
19 	return &vdso_u_rng_data;
20 }
21 #endif
22 
23 #endif /* CONFIG_GENERIC_VDSO_DATA_STORE */
24 
25 #ifndef __arch_update_vsyscall
26 static __always_inline void __arch_update_vsyscall(struct vdso_time_data *vdata)
27 {
28 }
29 #endif /* __arch_update_vsyscall */
30 
31 #ifndef __arch_sync_vdso_time_data
32 static __always_inline void __arch_sync_vdso_time_data(struct vdso_time_data *vdata)
33 {
34 }
35 #endif /* __arch_sync_vdso_time_data */
36 
37 #endif /* !__ASSEMBLY__ */
38 
39 #endif /* __ASM_GENERIC_VSYSCALL_H */
40