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