100644 blob 510e1671d898517d28eb8b2f5cf292870940ed03	clocksource.h
100644 blob 44a45f3fa4b01026e39efb7f8f51051ec464340c	gettimeofday.h
100644 blob 511c95d735e654d7aac3ce1ae89ce87ee4c1adcc	processor.h
100644 blob a327ca21270eccfa5ace49ca33f502242dd825e1	vdso.h
100644 blob 47168aaf1eff051199cf668d584e903b1eb8a3be	vsyscall.h