vdso_setup         59 arch/x86/vdso/vdso32-setup.c static int __init vdso_setup(char *s)
vdso_setup        132 arch/x86/vdso/vma.c static __init int vdso_setup(char *s)