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 14vdso32_start: 15 .incbin "arch/arm64/kernel/vdso32/vdso.so" 16 .balign PAGE_SIZE 17vdso32_end: 18 19 .previous 20