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