• C
    arm: vgic device control api support · 1da41cc1
    Christoffer Dall 提交于
    Support creating the ARM vgic device through the device control API and
    setting the base address for the distributor and cpu interfaces in KVM
    VMs using this API.
    
    Because the older KVM_CREATE_IRQCHIP interface needs the irq chip to be
    created prior to creating the VCPUs, we first test if we can use the
    device control API in kvm_arch_irqchip_create (using the test flag from
    the device control API).  If we cannot, it means we have to fall back to
    KVM_CREATE_IRQCHIP and use the older ioctl at this point in time.  If
    however, we can use the device control API, we don't do anything and
    wait until the arm_gic_kvm driver initializes and let that use the
    device control API.
    Signed-off-by: NChristoffer Dall <christoffer.dall@linaro.org>
    Message-id: 1392687720-26806-5-git-send-email-christoffer.dall@linaro.org
    Signed-off-by: NPeter Maydell <peter.maydell@linaro.org>
    1da41cc1
arm_gic_kvm.c 6.1 KB