100644 blob a5836d4ab7ee346814af92e06e7f5fd7a0a15bc4	arch_timer.h
100644 blob 6a5d4634af2c6fa2080eea69acd02bad2fb5fe14	delay.h
100644 blob 615745093c982109495aecfe21fc19638c391171	gic.h
100644 blob a76615fa39a1ab06d9753fcacb2673036b74377a	gic_v3.h
100644 blob a43a407e2d5c13e1a715da6bc50ec10335b47c55	gic_v3_its.h
100644 blob eb523d9277cf1e5800c34bc25e2ac858d444ddc5	gic_v5.h
100644 blob 4a20337082275f3643bc3ec377e9e4a2059427ea	kvm_util_arch.h
100644 blob b8a902ba8573da83c1fd67ca0f31b89861c384b4	processor.h
100644 blob cf0984106d14b593f072ee83666af5853396584b	spinlock.h
100644 blob 2210d3d94c40c4c5d9ea042b9b0afaa0901a357a	ucall.h
100644 blob 1f8b04373987ccaad0bef5bacddf442aff166b3f	vgic.h