Re: [Xen-devel] [PATCH v3 55/62] arm/acpi: Route all Xen unused SPIs to Dom0

On 27/11/15 15:04, Stefano Stabellini wrote: >> +vgic_reserve_virq(d, i); >> +irq_set_type(i, ACPI_IRQ_TYPE_NONE); > > I don't know if there is any point in setting the type to NONE. It's the > default, isn't it? No, the default is *_IRQ_TYPE_INVALID. Regards, -- Julien Grall

Re: [Xen-devel] [PATCH v3 55/62] arm/acpi: Route all Xen unused SPIs to Dom0

On Tue, 17 Nov 2015, shannon.z...@linaro.org wrote: > From: Shannon Zhao > > Route all SPIs to Dom0 except the interrupts that Xen uses. Since Xen > already uses the uart interrupt, the desc->action will not be NULL, so > it will skip it. > > Signed-off-by: Shannon

Re: [Xen-devel] [PATCH v3 55/62] arm/acpi: Route all Xen unused SPIs to Dom0

Hi Shannon, On 17/11/15 09:40, shannon.z...@linaro.org wrote: > From: Shannon Zhao > > Route all SPIs to Dom0 except the interrupts that Xen uses. Since Xen > already uses the uart interrupt, the desc->action will not be NULL, so > it will skip it. > > Signed-off-by:

[Xen-devel] [PATCH v3 55/62] arm/acpi: Route all Xen unused SPIs to Dom0

From: Shannon Zhao Route all SPIs to Dom0 except the interrupts that Xen uses. Since Xen already uses the uart interrupt, the desc->action will not be NULL, so it will skip it. Signed-off-by: Shannon Zhao --- xen/arch/arm/domain_build.c | 33