1/* SPDX-License-Identifier: GPL-2.0-only */
2/*
3 * Copyright (C) 2014 Regents of the University of California
4 */
5
6#include <linux/init.h>
7#include <linux/linkage.h>
8#include <asm/page.h>
9
10#ifndef __VDSO_PATH
11#define __VDSO_PATH "arch/riscv/kernel/vdso/vdso.so"
12#endif
13
14	__PAGE_ALIGNED_DATA
15
16	.globl vdso_start, vdso_end
17	.balign PAGE_SIZE
18vdso_start:
19	.incbin __VDSO_PATH
20	.balign PAGE_SIZE
21vdso_end:
22
23	.previous
24