/* SPDX-License-Identifier: GPL-2.0 */ #ifndef __VDSO_VSYSCALL_H #define __VDSO_VSYSCALL_H #ifndef __ASSEMBLY__ #include <asm/vdso/vsyscall.h> #endif /* !__ASSEMBLY__ */ #endif /* __VDSO_VSYSCALL_H */