1#include <linux/init.h>
2
3__INITDATA
4
5	.globl vdso_start, vdso_end
6vdso_start:
7	.incbin "arch/x86/um/vdso/vdso.so"
8vdso_end:
9
10__FINIT
11