1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 /* 3 * Copyright (C) 2012 ARM Limited 4 * 5 * Author: Will Deacon <will.deacon@arm.com> 6 */ 7 8 #include <linux/init.h> 9 #include <linux/linkage.h> 10 #include <linux/const.h> 11 #include <asm/page.h> 12 13 .globl vdso_start, vdso_end 14 .section .rodata 15 .balign PAGE_SIZE 16 vdso_start: 17 .incbin "arch/arm64/kernel/vdso/vdso.so" 18 .balign PAGE_SIZE 19 vdso_end: 20 21 .previous