Re: [PATCH 3/7] KVM: arm/arm64: directly pass virtual IRQ number on kvm_vgic_map_is_active()

Hi Andre, On 04/15/2016 04:04 PM, Andre Przywara wrote: > For getting the active state of a mapped IRQ, we actually only need > the virtual IRQ number, not the pointer to the mapping entry. > Pass the virtual IRQ number from the arch timer to the VGIC directly. > > Signed-off-by: Andre Przywara

[PATCH 3/7] KVM: arm/arm64: directly pass virtual IRQ number on kvm_vgic_map_is_active()

For getting the active state of a mapped IRQ, we actually only need the virtual IRQ number, not the pointer to the mapping entry. Pass the virtual IRQ number from the arch timer to the VGIC directly. Signed-off-by: Andre Przywara --- include/kvm/arm_vgic.h| 2 +-