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

[Julien Grall]

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