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