Re: [PATCH 4/4] arm: vgic device control api support

On Fri, Sep 06, 2013 at 02:34:40PM +0100, Peter Maydell wrote:

On 23 August 2013 20:41, Christoffer Dall christoffer.dall@linaro.org wrote:

...

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 if can use the

"if we"

Peter,

Thanks for your review comments and pointers on how to fix. Much appreciated. I've addressed your comments and will get a new series out asap.

-Christoffer