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