100644 blob 119ac8612d893164634f76e46f674f435bccbd87	clocksource.h
100644 blob fb81fea99093cb07c2fac95e9812ac712d5dcefd	gettimeofday.h
100644 blob 57b1a7034c640add013166f1b455b8b68c9ef4e0	processor.h
100644 blob be199a9b267627311bf4d3efbc7f1915f1a3f47d	vsyscall.h