100644 blob b054d9febfb5432c46d21af10af4316134987c58	clocksource.h
100644 blob d7ebe7ceefa00de7aaedaa8c0f02fa5715fae383	compat_barrier.h
100644 blob a03e34b572f190a5f479a668ed1fd9b96695695b	compat_gettimeofday.h
100644 blob da1d58bbfabe85ca807e50f10325752b5456e44c	getrandom.h
100644 blob 96d2eccd4995b2ab5e2c01c7f0b960a1a4b8bf32	gettimeofday.h
100644 blob 7abb0cc81cd6e6a63ea3fb0fbd6b5364a1f8a625	processor.h
100644 blob 3f3c8eb74e2e326605d7bc952fc893f8cc5601ab	vsyscall.h