1 /* SPDX-License-Identifier: GPL-2.0-only */
3 * Copyright (C) 2014 Regents of the University of California
6 #include <linux/init.h>
7 #include <linux/linkage.h>
11 #define __VDSO_PATH "arch/riscv/kernel/vdso/vdso.so"
16 .globl vdso_start, vdso_end