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 vdso32_start, vdso32_end 8bce74491SMasahiro Yamada .balign PAGE_SIZE 9bce74491SMasahiro Yamadavdso32_start: 10*fd1feadeSChristophe Leroy .incbin "arch/powerpc/kernel/vdso/vdso32.so.dbg" 11bce74491SMasahiro Yamada .balign PAGE_SIZE 12bce74491SMasahiro Yamadavdso32_end: 13bce74491SMasahiro Yamada 14bce74491SMasahiro Yamada .previous 15