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