Jean-Philippe Brucker 4f64cb65bf arm/arm64: KVM: Only allow 64bit hosts to build VGICv3 ... Hardware virtualisation of GICv3 is only supported by 64bit hosts for the moment. Some VGICv3 bits are missing from the 32bit side, and this patch allows to still be able to build 32bit hosts when CONFIG_ARM_GIC_V3 is selected. To this end, we introduce a new option, CONFIG_KVM_ARM_VGIC_V3, that is only enabled on the 64bit side. The selection is done unconditionally because CONFIG_ARM_GIC_V3 is always enabled on arm64. Reviewed-by: Marc Zyngier <marc.zyngier@arm.com> Signed-off-by: Jean-Philippe Brucker <jean-philippe.brucker@arm.com> Signed-off-by: Marc Zyngier <marc.zyngier@arm.com>		2015-10-09 23:11:57 +01:00
..
arm_arch_timer.h	KVM: arm/arm64: timer: Allow the timer to control the active state	2015-08-12 11:28:26 +01:00
arm_vgic.h	arm/arm64: KVM: Only allow 64bit hosts to build VGICv3	2015-10-09 23:11:57 +01:00
iodev.h	KVM: move iodev.h from virt/kvm/ to include/kvm	2015-03-26 21:43:12 +00:00