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 vdso_start, vdso_end 9 .balign PAGE_SIZE 10vdso_start: 11 .incbin "arch/s390/kernel/vdso/vdso.so" 12 .balign PAGE_SIZE 13vdso_end: 14 15 .previous 16