xen/arm: domain_builder: irq sanity check logic fix
authorStewart Hildebrand <Stewart.Hildebrand@dornerworks.com>
Tue, 28 Nov 2017 14:42:03 +0000 (14:42 +0000)
committerStefano Stabellini <sstabellini@kernel.org>
Tue, 28 Nov 2017 19:27:14 +0000 (11:27 -0800)
commit11e7dd958de73a45645bd40d82280660bd2c9ee8
tree2a303db0f7861a36e15f49e3262fade42db691f0
parent31309b538f77a9eac5b9d1308335612ebd96bd3d
xen/arm: domain_builder: irq sanity check logic fix

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 <stewart.hildebrand@dornerworks.com>
Reviewed-by: Julien Grall <julien.grall@linaro.org>
Release-acked-by: Julien Grall <julien.grall@linaro.org>
xen/arch/arm/domain_build.c