100644 blob b054d9febfb5432c46d21af10af4316134987c58	clocksource.h
100644 blob 3fd8fd6d8fc253447fc995a40d10be38acd0b191	compat_barrier.h
100644 blob 75cbae60455bc501c1d400d79ebe18e4ce8e3e52	compat_gettimeofday.h
100644 blob 9c29ad3049f8f0e7b6b38865369c8c195bc8de94	gettimeofday.h
100644 blob ff830b766ad2d9227cd8fbe2e59f91bba918c4a3	processor.h
100644 blob f94b1457c117d4d3e94b1fe04bc0e097b2dfeaf1	vsyscall.h