vdso_test_gettimeofday.c