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