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
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_vdso_data
15 static __always_inline int __arch_update_vdso_data(void)
16 {
17 	return 0;
18 }
19 #endif /* __arch_update_vdso_data */
20 
21 #ifndef __arch_get_clock_mode
22 static __always_inline int __arch_get_clock_mode(struct timekeeper *tk)
23 {
24 	return 0;
25 }
26 #endif /* __arch_get_clock_mode */
27 
28 #ifndef __arch_update_vsyscall
29 static __always_inline void __arch_update_vsyscall(struct vdso_data *vdata,
30 						   struct timekeeper *tk)
31 {
32 }
33 #endif /* __arch_update_vsyscall */
34 
35 #ifndef __arch_sync_vdso_data
36 static __always_inline void __arch_sync_vdso_data(struct vdso_data *vdata)
37 {
38 }
39 #endif /* __arch_sync_vdso_data */
40 
41 #endif /* !__ASSEMBLY__ */
42 
43 #endif /* __ASM_GENERIC_VSYSCALL_H */
44