100644 blob bf461de34785a32d74a07a4da1b26466d7c80348	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 255fed769a8a54ece6876e2106d42f9184dafbc4	processor.h
100644 blob cf0984106d14b593f072ee83666af5853396584b	spinlock.h
100644 blob 4ec801f37f00e7a1fbd28818d9e72fc3fd0f4d9c	ucall.h
100644 blob c481d0c00a5d221943a363f7334454879f461df3	vgic.h