| 1 | /* SPDX-License-Identifier: GPL-2.0 */ |
|---|---|
| 2 | #include <linux/linkage.h> |
| 3 | #include <asm/page.h> |
| 4 | |
| 5 | .section ".data..ro_after_init", "aw" |
| 6 | |
| 7 | .globl vdso64_start, vdso64_end |
| 8 | .balign PAGE_SIZE |
| 9 | vdso64_start: |
| 10 | .incbin "arch/powerpc/kernel/vdso/vdso64.so.dbg" |
| 11 | .balign PAGE_SIZE |
| 12 | vdso64_end: |
| 13 | |
| 14 | .previous |
| 15 |