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 _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
