config, core: Improve irqchip configuration

[jailhouse.git] / configs / vexpress.c

diff --git a/configs/vexpress.c b/configs/vexpress.c
index 6a9b0210355b2fbe5db1dfda89a0cf4186ebccbd..3caf3093ab13639a33d5e86239bd0338e64c376d 100644 (file)
--- a/configs/vexpress.c
+++ b/configs/vexpress.c
@@ -106,7 +106,10 @@ struct {
        .irqchips = {
                /* GIC */ {
                        .address = 0x2f000000,
-                       .pin_bitmap = 0xffffffffffffffff,
+                       .pin_base = 32,
+                       .pin_bitmap = {
+                               0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff
+                       },
                },
        },