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.gr...@linaro.org>
Acked-by: Ian Campbell <ian.campb...@citrix.com> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
