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_k_vdso_data
__arch_get_k_vdso_data(void)8 static __always_inline struct vdso_data *__arch_get_k_vdso_data(void)
9 {
10 	return NULL;
11 }
12 #endif /* __arch_get_k_vdso_data */
13 
14 #ifndef __arch_update_vsyscall
__arch_update_vsyscall(struct vdso_data * vdata,struct timekeeper * tk)15 static __always_inline void __arch_update_vsyscall(struct vdso_data *vdata,
16 						   struct timekeeper *tk)
17 {
18 }
19 #endif /* __arch_update_vsyscall */
20 
21 #ifndef __arch_sync_vdso_data
__arch_sync_vdso_data(struct vdso_data * vdata)22 static __always_inline void __arch_sync_vdso_data(struct vdso_data *vdata)
23 {
24 }
25 #endif /* __arch_sync_vdso_data */
26 
27 #endif /* !__ASSEMBLY__ */
28 
29 #endif /* __ASM_GENERIC_VSYSCALL_H */
30