100644 blob c1ba56b82ee5cd83651174f39a0b4809ec7eecdb	clocksource.h
100644 blob 501d6bb14e8a72b2de5b0c31a7019761eace4f46	getrandom.h
100644 blob c6390890a60c2fdcb608bf321b2945c3fb372f54	gettimeofday.h
100644 blob 80d13207c5688d73954822aede2bbe2d0e05c054	processor.h
100644 blob e9245f86a46cfba4d0173af0aac9a12528d94887	timebase.h
100644 blob 92f480d8cc6dcb905d5960185ca8b615cfc541ee	vsyscall.h