asm-generic/vdso/vsyscall.h

0001 /* SPDX-License-Identifier: GPL-2.0 */
0002 #ifndef __ASM_GENERIC_VSYSCALL_H
0003 #define __ASM_GENERIC_VSYSCALL_H
0004
0005 #ifndef __ASSEMBLY__
0006
0007 #ifndef __arch_get_k_vdso_data
0008 static __always_inline struct vdso_data *__arch_get_k_vdso_data(void)
0009 {
0010     return NULL;
0011 }
0012 #endif /* __arch_get_k_vdso_data */
0013
0014 #ifndef __arch_update_vsyscall
0015 static __always_inline void __arch_update_vsyscall(struct vdso_data *vdata,
0016                            struct timekeeper *tk)
0017 {
0018 }
0019 #endif /* __arch_update_vsyscall */
0020
0021 #ifndef __arch_sync_vdso_data
0022 static __always_inline void __arch_sync_vdso_data(struct vdso_data *vdata)
0023 {
0024 }
0025 #endif /* __arch_sync_vdso_data */
0026
0027 #endif /* !__ASSEMBLY__ */
0028
0029 #endif /* __ASM_GENERIC_VSYSCALL_H */