Marc Zyngier 6cbde8253a ARM: KVM: fix non-VGIC compilation il y a 11 ans
..
arm_arch_timer.h 5ae7f87a56 ARM: KVM: Allow host virt timer irq to be different from guest timer virt irq il y a 12 ans
arm_vgic.h 6cbde8253a ARM: KVM: fix non-VGIC compilation il y a 11 ans