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