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