clocksource.h
cp15.h
gettimeofday.h
processor.h
vsyscall.h