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