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