100644 blob df6ea65c1decad7423bebcb6d4b71dd95ee1579f	clocksource.h
100644 blob 3fd8fd6d8fc253447fc995a40d10be38acd0b191	compat_barrier.h
100644 blob b6907ae78e5303bc45804faeb83d3d002d7d28ad	compat_gettimeofday.h
100644 blob afba6ba332f8bdb8a2a7c40ce196c2306a2db715	gettimeofday.h
100644 blob ff830b766ad2d9227cd8fbe2e59f91bba918c4a3	processor.h
100644 blob f94b1457c117d4d3e94b1fe04bc0e097b2dfeaf1	vsyscall.h