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_vsyscall 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 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