1#include <linux/init.h> 2#include <asm/page.h> 3 4 .section ".data.page_aligned" 5 6 .globl vdso64_start, vdso64_end 7 .balign PAGE_SIZE 8vdso64_start: 9 .incbin "arch/s390/kernel/vdso64/vdso64.so" 10 .balign PAGE_SIZE 11vdso64_end: 12 13 .previous 14