1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #include <linux/init.h> 3 #include <linux/linkage.h> 4 #include <asm/page.h> 5 6 __PAGE_ALIGNED_DATA 7 8 .globl vdso32_start, vdso32_end 9 .balign PAGE_SIZE 10 vdso32_start: 11 .incbin "arch/s390/kernel/vdso32/vdso32.so" 12 .balign PAGE_SIZE 13 vdso32_end: 14 15 .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.