1/* SPDX-License-Identifier: GPL-2.0 */
2
3#ifndef __ASM_VDSO_CSKY_VSYSCALL_H
4#define __ASM_VDSO_CSKY_VSYSCALL_H
5
6#ifndef __ASSEMBLY__
7
8#include <vdso/datapage.h>
9
10extern struct vdso_data *vdso_data;
11
12static __always_inline struct vdso_data *__csky_get_k_vdso_data(void)
13{
14	return vdso_data;
15}
16#define __arch_get_k_vdso_data __csky_get_k_vdso_data
17
18#include <asm-generic/vdso/vsyscall.h>
19
20#endif /* !__ASSEMBLY__ */
21
22#endif /* __ASM_VDSO_CSKY_VSYSCALL_H */
23