Re: [Xen-devel] [PATCH] xen/arm: domain_builder: irq sanity check logic fix

2017-11-28 Thread Julien Grall
Hi Stewart, On 11/28/2017 02:42 PM, Stewart Hildebrand wrote: It's not possible for an irq to be both below 16 and greater/equal than 32. Also fix the reference to linux documentation while we're at it. Signed-off-by: Stewart Hildebrand Whoops. Well

[Xen-devel] [PATCH] xen/arm: domain_builder: irq sanity check logic fix

2017-11-28 Thread Stewart Hildebrand
It's not possible for an irq to be both below 16 and greater/equal than 32. Also fix the reference to linux documentation while we're at it. Signed-off-by: Stewart Hildebrand --- xen/arch/arm/domain_build.c | 5 +++-- 1 file changed, 3 insertions(+), 2