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