clocksource.h
gettimeofday.h
processor.h
vdso.h
vsyscall.h