/* SPDX-License-Identifier: GPL-2.0-only */

#define	vdso_start	compat_vdso_start
#define	vdso_end	compat_vdso_end

#define	__VDSO_PATH	"arch/riscv/kernel/compat_vdso/compat_vdso.so"

#include "../vdso/vdso.S"