100644 blob b054d9febfb5432c46d21af10af4316134987c58	clocksource.h
100644 blob 3fd8fd6d8fc253447fc995a40d10be38acd0b191	compat_barrier.h
100644 blob 9a625e8947ff0a8233d6a4e5e49228c57ec57e7b	compat_gettimeofday.h
100644 blob afba6ba332f8bdb8a2a7c40ce196c2306a2db715	gettimeofday.h
100644 blob ff830b766ad2d9227cd8fbe2e59f91bba918c4a3	processor.h
100644 blob f94b1457c117d4d3e94b1fe04bc0e097b2dfeaf1	vsyscall.h