kernel_optimize_test/include/vdso/time.h