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