Loading...
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{
17}
18#endif /* __arch_update_vsyscall */
19
20#ifndef __arch_sync_vdso_data
21static __always_inline void __arch_sync_vdso_data(struct vdso_data *vdata)
22{
23}
24#endif /* __arch_sync_vdso_data */
25
26#endif /* !__ASSEMBLY__ */
27
28#endif /* __ASM_GENERIC_VSYSCALL_H */