[funini.com] -> [kei@sodan] -> Kernel Reading

root/arch/x86/vdso/vdso.S

/* [<][>][^][v][top][bottom][index][help] */ 
#include <linux/init.h>

__INITDATA

        .globl vdso_start, vdso_end
vdso_start:
        .incbin "arch/x86/vdso/vdso.so"
vdso_end:

__FINIT
/* [<][>][^][v][top][bottom][index][help] */
[funini.com] -> [kei@sodan] -> Kernel Reading