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 18 vdso_start: 19 .incbin __VDSO_PATH 20 .balign PAGE_SIZE 21 vdso_end: 22 23 .previous
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.