1 | /* SPDX-License-Identifier: GPL-2.0 */ |
---|---|
2 | #include <linux/linkage.h> |
3 | #include <asm/page.h> |
4 | |
5 | __PAGE_ALIGNED_DATA |
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 |