[PATCH v2 02/15] arm/arm64: KVM: pass down user space provided GIC type into vGIC code

[Christoffer Dall]

On Thu, Aug 21, 2014 at 02:06:43PM +0100, Andre Przywara wrote:
> With the introduction of a second emulated GIC model we need to let
> userspace specify the GIC model to use for each VM. Pass the
> userspace provided value down into the vGIC code to differentiate
> later.
> 
> Signed-off-by: Andre Przywara <andre.przywara at arm.com>

Acked-by: Christoffer Dall <christoffer.dall at linaro.org>