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