100644 blob 8ac723270fe900e49193f8a662eea0f10442417e	clocksource.h
100644 blob 3fd8fd6d8fc253447fc995a40d10be38acd0b191	compat_barrier.h
100644 blob 06772629e1bb2d41d64c0a172362d2b95d3f6595	compat_gettimeofday.h
100644 blob f0cd969d52e1743d3fb838ab8ed3bc09c56a9823	gettimeofday.h
100644 blob ff830b766ad2d9227cd8fbe2e59f91bba918c4a3	processor.h
100644 blob e50f26741946bd70b24249dbf373ce8b1eda29c2	vsyscall.h