/* SPDX-License-Identifier: GPL-2.0-only */
/*
 * Copyright 2025 Rivos, Inc
 */

#define vdso_start      vdso_cfi_start
#define vdso_end        vdso_cfi_end

#define __VDSO_PATH "arch/riscv/kernel/vdso_cfi/vdso-cfi.so"

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