1/* SPDX-License-Identifier: GPL-2.0-only */
2
3#define	vdso_start	compat_vdso_start
4#define	vdso_end	compat_vdso_end
5
6#define	__VDSO_PATH	"arch/riscv/kernel/compat_vdso/compat_vdso.so"
7
8#include "../vdso/vdso.S"
9