clocksource.h
compat_barrier.h
compat_gettimeofday.h
gettimeofday.h
processor.h
vsyscall.h