Marc Zyngier 6cbde8253a ARM: KVM: fix non-VGIC compilation %!s(int64=11) %!d(string=hai) anos
..
arm_arch_timer.h 5ae7f87a56 ARM: KVM: Allow host virt timer irq to be different from guest timer virt irq %!s(int64=12) %!d(string=hai) anos
arm_vgic.h 6cbde8253a ARM: KVM: fix non-VGIC compilation %!s(int64=11) %!d(string=hai) anos