root/include/vdso/

[..]
  1. datapage.h
  2. helpers.h
  3. vsyscall.h
[..]