1*779df224SSven Schnelle/* SPDX-License-Identifier: GPL-2.0 */
2*779df224SSven Schnelle#include <linux/init.h>
3*779df224SSven Schnelle#include <linux/linkage.h>
4*779df224SSven Schnelle#include <asm/page.h>
5*779df224SSven Schnelle
6*779df224SSven Schnelle	__PAGE_ALIGNED_DATA
7*779df224SSven Schnelle
8*779df224SSven Schnelle	.globl vdso32_start, vdso32_end
9*779df224SSven Schnelle	.balign PAGE_SIZE
10*779df224SSven Schnellevdso32_start:
11*779df224SSven Schnelle	.incbin "arch/s390/kernel/vdso32/vdso32.so"
12*779df224SSven Schnelle	.balign PAGE_SIZE
13*779df224SSven Schnellevdso32_end:
14*779df224SSven Schnelle
15*779df224SSven Schnelle	.previous
16