1*b2441318SGreg Kroah-Hartman/* SPDX-License-Identifier: GPL-2.0 */ 2b020632eSMartin Schwidefsky#include <linux/init.h> 3abe1ee3aSTim Abbott#include <linux/linkage.h> 4b020632eSMartin Schwidefsky#include <asm/page.h> 5b020632eSMartin Schwidefsky 6abe1ee3aSTim Abbott __PAGE_ALIGNED_DATA 7b020632eSMartin Schwidefsky 8b020632eSMartin Schwidefsky .globl vdso64_start, vdso64_end 9b020632eSMartin Schwidefsky .balign PAGE_SIZE 10b020632eSMartin Schwidefskyvdso64_start: 11b020632eSMartin Schwidefsky .incbin "arch/s390/kernel/vdso64/vdso64.so" 12b020632eSMartin Schwidefsky .balign PAGE_SIZE 13b020632eSMartin Schwidefskyvdso64_end: 14b020632eSMartin Schwidefsky 15b020632eSMartin Schwidefsky .previous 16