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