100644 blob b3e97525cb5551de649dfa5b8bbd17d2c476582b	arch_timer.h
100644 blob 329e4f5079ea55a698e4acef652fdfad09bf4c51	delay.h
100644 blob baeb3c859389ddbd2c473d6cffc45a7b8edbced4	gic.h
100644 blob a76615fa39a1ab06d9753fcacb2673036b74377a	gic_v3.h
100644 blob 3722ed9c8f96ed1bee3361719a5bd106ca5428b3	gic_v3_its.h
100644 blob e43a57d99b56cc3f541d7718b868eb92b4a46e10	kvm_util_arch.h
100644 blob 9b20a355d81ade2dcfd5dee4149d90c2b9aa3bbb	processor.h
100644 blob cf0984106d14b593f072ee83666af5853396584b	spinlock.h
100644 blob 4ec801f37f00e7a1fbd28818d9e72fc3fd0f4d9c	ucall.h
100644 blob c481d0c00a5d221943a363f7334454879f461df3	vgic.h