vdso32-setup.c 9.8 KB