kernel_optimize_test/include/vdso
..
datapage.h
helpers.h
vsyscall.h