1/* SPDX-License-Identifier: GPL-2.0 */ 2#include <linux/linkage.h> 3#include <asm/page.h> 4 5 .section ".data..ro_after_init", "aw" 6 7 .globl vdso32_start, vdso32_end 8 .balign PAGE_SIZE 9vdso32_start: 10 .incbin "arch/powerpc/kernel/vdso/vdso32.so.dbg" 11 .balign PAGE_SIZE 12vdso32_end: 13 14 .previous 15