vdso.S

 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