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 vdso64_start, vdso64_end
8 	.balign PAGE_SIZE
9 vdso64_start:
10 	.incbin "arch/powerpc/kernel/vdso/vdso64.so.dbg"
11 	.balign PAGE_SIZE
12 vdso64_end:
13 
14 	.previous
15