100644 blob b3e97525cb5551de649dfa5b8bbd17d2c476582b	arch_timer.h
100644 blob 329e4f5079ea55a698e4acef652fdfad09bf4c51	delay.h
100644 blob b217ea17cac500cf82b28a72266fb7ff6e35097a	gic.h
100644 blob ba0886e8a2bb91f7939fbabc8e1e1cb61352788f	gic_v3.h
100644 blob e43a57d99b56cc3f541d7718b868eb92b4a46e10	kvm_util_arch.h
100644 blob 9e518b56282736caeaf549e1d504ce53f9fc64e3	processor.h
100644 blob cf0984106d14b593f072ee83666af5853396584b	spinlock.h
100644 blob 4b68f37efd368aeca9cea55bfd3c489a3f78339e	ucall.h
100644 blob 0ac6f05c63f92902e4ae941c02320a3ce9d449fc	vgic.h