Branch data Line data Source code
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 : 23386 : static __always_inline bool __arch_update_vdso_data(void) 16 : : { 17 : 23386 : return true; 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 : 23386 : static __always_inline void __arch_update_vsyscall(struct vdso_data *vdata, 30 : : struct timekeeper *tk) 31 : : { 32 : 23386 : } 33 : : #endif /* __arch_update_vsyscall */ 34 : : 35 : : #ifndef __arch_sync_vdso_data 36 : 23397 : static __always_inline void __arch_sync_vdso_data(struct vdso_data *vdata) 37 : : { 38 : 23397 : } 39 : : #endif /* __arch_sync_vdso_data */ 40 : : 41 : : #endif /* !__ASSEMBLY__ */ 42 : : 43 : : #endif /* __ASM_GENERIC_VSYSCALL_H */