100644 blob df6ea65c1decad7423bebcb6d4b71dd95ee1579f	clocksource.h
100644 blob 77d9c2f721c464603216d18700958cce032b8b54	gettimeofday.h
100644 blob 134388cbaaa1d3ba1bdc5c5b7a765327006c1732	processor.h
100644 blob 82fd5d83bd602c72c1688a7dffa292b37b5fa790	vsyscall.h