1*c0087d80SHeiko Carstens/* SPDX-License-Identifier: GPL-2.0 */ 2*c0087d80SHeiko Carstens#include <linux/init.h> 3*c0087d80SHeiko Carstens#include <linux/linkage.h> 4*c0087d80SHeiko Carstens#include <asm/page.h> 5*c0087d80SHeiko Carstens 6*c0087d80SHeiko Carstens __PAGE_ALIGNED_DATA 7*c0087d80SHeiko Carstens 8*c0087d80SHeiko Carstens .globl vdso_start, vdso_end 9*c0087d80SHeiko Carstens .balign PAGE_SIZE 10*c0087d80SHeiko Carstensvdso_start: 11*c0087d80SHeiko Carstens .incbin "arch/s390/kernel/vdso/vdso.so" 12*c0087d80SHeiko Carstens .balign PAGE_SIZE 13*c0087d80SHeiko Carstensvdso_end: 14*c0087d80SHeiko Carstens 15*c0087d80SHeiko Carstens .previous 16