On Tue, 10 Jul 2018, Julien Grall wrote: > Hi, > > On 09/07/18 22:51, Stefano Stabellini wrote: > > > I would replace this with a BUG_ON(evtchn != 0). > > > > I agree with the principle, but I think you meant > > BUG_ON(d->arch.evtchn_irq <= 0) ? > > The IRQ is an unsigned number. So why <= 0?
Ah yes, it should be BUG_ON(d->arch.evtchn_irq == 0). _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
