| 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 vdso32_start, vdso32_end |
| 8 | .balign PAGE_SIZE |
| 9 | vdso32_start: |
| 10 | .incbin "arch/powerpc/kernel/vdso/vdso32.so.dbg" |
| 11 | .balign PAGE_SIZE |
| 12 | vdso32_end: |
| 13 | |
| 14 | .previous |
| 15 |