Re: [PATCH v3 8/9] arm/arm64: KVM: vgic: make number of irqs a configurable attribute

On Tue, Jul 08, 2014 at 12:09:07PM +0100, Marc Zyngier wrote: In order to make the number of interrupt configurable, use the new interrupts fancy device management API to add KVM_DEV_ARM_VGIC_GRP_NR_IRQS as a VGIC configurable attribute. Userspace can now

[PATCH v3 8/9] arm/arm64: KVM: vgic: make number of irqs a configurable attribute

In order to make the number of interrupt configurable, use the new fancy device management API to add KVM_DEV_ARM_VGIC_GRP_NR_IRQS as a VGIC configurable attribute. Userspace can now specify the exact size of the GIC (by increments of 32 interrupts). Signed-off-by: Marc Zyngier