[Xen-devel] [PATCH v2] xen/arm: Cap the number of interrupt lines for dom0

2019-04-05 Thread Lukas Juenger
number of interrupt lines for dom0 to 992 lines. Signed-off-by: Lukas Juenger --- Changed since v1: - Adapted commit message as suggested - Changed code comment to reflect correct terminology --- xen/arch/arm/setup.c | 8 +++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/xen

[Xen-devel] [PATCH] arm/dom0: Add check for maximum number of supported vGIC IRQs

2019-03-27 Thread Lukas Juenger
Xen's vGIC implementation supports a maximum number of 992 IRQ lines. GICv2 specification allows for 1020 IRQ lines. This commit adds a check for this discrepancy. Signed-off-by: Lukas Juenger (juen...@ice.rwth-aachen.de) --- xen/arch/arm/setup.c | 8 +++- 1 file changed, 7 insertions(

[Xen-devel] [PATCH] arm/dom0: Add check for maximum number of supported vGIC IRQs

2019-03-26 Thread Lukas Juenger
Xen's vGIC implementation supports a maximum number of 992 IRQ lines. GICv2 specification allows for 1020 IRQ lines. This commit adds a check for this discrepancy. Signed-off-by: Lukas Juenger (juen...@ice.rwth-aachen.de) --- xen/arch/arm/setup.c | 8 +++- 1 file changed, 7 insertions(