1 /* SPDX-License-Identifier: GPL-2.0 */ 2 /* 3 * Copyright (C) 2012 ARM Limited 4 */ 5 6 #include <linux/init.h> 7 #include <linux/linkage.h> 8 #include <linux/const.h> 9 #include <asm/page.h> 10 11 .globl vdso32_start, vdso32_end 12 .section .rodata 13 .balign PAGE_SIZE 14 vdso32_start: 15 .incbin "arch/arm64/kernel/vdso32/vdso.so" 16 .balign PAGE_SIZE 17 vdso32_end: 18 19 .previous