config, core: Improve irqchip configuration

[jailhouse.git] / tools / root-cell-config.c.tmpl

diff --git a/tools/root-cell-config.c.tmpl b/tools/root-cell-config.c.tmpl
index 8deda4e530ca4b4bec46cbc5b82d3fa37f6fa991..a864fb6fb681ec749583edd7afb95ac98ccbdd44 100644 (file)
--- a/tools/root-cell-config.c.tmpl
+++ b/tools/root-cell-config.c.tmpl
@@ -83,7 +83,6 @@ struct {
                        },
                        % endif
                },
-               .device_limit = 128,
                .interrupt_limit = 256,
                .root_cell = {
                        .name = "RootCell",
@@ -126,7 +125,9 @@ struct {
                {
                        .address = ${hex(i.address)},
                        .id = ${hex(i.irqchip_id())},
-                       .pin_bitmap = 0xffffff,
+                       .pin_bitmap = {
+                               0xffffff
+                       },
                },
                % endfor
        },