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