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? Cheers, -- Julien Grall _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
