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