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 10
