100644 blob b054d9febfb5432c46d21af10af4316134987c58	clocksource.h
100644 blob 3fd8fd6d8fc253447fc995a40d10be38acd0b191	compat_barrier.h
100644 blob ecb6fd4c3c647cb6a7029b08112d2ae42e8b3f95	compat_gettimeofday.h
100644 blob 4f7a629df81f7416e9797794406029dd3024a355	gettimeofday.h
100644 blob ff830b766ad2d9227cd8fbe2e59f91bba918c4a3	processor.h
100644 blob f94b1457c117d4d3e94b1fe04bc0e097b2dfeaf1	vsyscall.h