vdso32_setup       48 arch/x86/entry/vdso/vdso32-setup.c __setup("vdso32=", vdso32_setup);
vdso32_setup       51 arch/x86/entry/vdso/vdso32-setup.c __setup_param("vdso=", vdso_setup, vdso32_setup, 0);