[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Xen-devel] [PATCH v3 2/2] xen/arm: Automatically find a PPI for the DOM0 event channel interrupt

On Thu, 2015-01-29 at 15:51 +0000, Julien Grall wrote:
> Use the new vgic interface to know which virtual PPI is free and use it
> for the event channel code.
> At the DOM0 creation time, Xen doesn't know which vIRQ will be free.
> All the vIRQ will be reserved when we parse the device tree. So we can
> allocate the vIRQ just after the device tree has been parsed.
> It's safe to defer the allocation because no vIRQ can be injected as
> long as the vCPU is not online.
> As the device tree node "hypervisor" containing the description of the
> event channel interrupt is created earlier, add a placeholder which will
> be fix up once Xen has allocated the PPI.
> Also correct the check in arch_domain_create to use is_hardware_domain.
> Signed-off-by: Julien Grall <julien.grall@xxxxxxxxxx>

Acked-by: Ian Campbell <ian.campbell@xxxxxxxxxx>

Xen-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.