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