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
8static __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
15static __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
22static __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