On Sat, Oct 20, 2012 at 6:27 AM, Marc Zyngier wrote:
> On Sat, 20 Oct 2012 00:14:42 -0400, Christoffer Dall
> wrote:
>> The vgic virtual cpu and emulated distributor interfaces must
>> be mapped at a given physical address in the guest. This address is
>> provided through the KVM_SET_DEVICE_ADDR
On Sat, 20 Oct 2012 00:14:42 -0400, Christoffer Dall
wrote:
> The vgic virtual cpu and emulated distributor interfaces must
> be mapped at a given physical address in the guest. This address is
> provided through the KVM_SET_DEVICE_ADDRESS ioctl, which happens after
> the KVM_CREATE_IRQCHIP ioctl
The vgic virtual cpu and emulated distributor interfaces must
be mapped at a given physical address in the guest. This address is
provided through the KVM_SET_DEVICE_ADDRESS ioctl, which happens after
the KVM_CREATE_IRQCHIP ioctl is called, but before the first VCPU is
excuted thorugh KVM_RUN. We