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/assembler.h>
12#include <asm/page.h>
13
14	.globl vdso_start, vdso_end
15	.section .rodata
16	.balign PAGE_SIZE
17vdso_start:
18	.incbin "arch/arm64/kernel/vdso/vdso.so"
19	.balign PAGE_SIZE
20vdso_end:
21
22	.previous
23
24emit_aarch64_feature_1_and
25