]> rtime.felk.cvut.cz Git - jailhouse.git/blobdiff - tools/root-cell-config.c.tmpl
jailhouse: inmates: bench: Add -R option -- repeats count.
[jailhouse.git] / tools / root-cell-config.c.tmpl
index 631fcd9d014e557071f7d047939d8045c6bced36..a864fb6fb681ec749583edd7afb95ac98ccbdd44 100644 (file)
@@ -68,15 +68,21 @@ struct {
                        .pm_timer_address = ${hex(pm_timer_base)},
                        % if iommu_units:
                        .iommu_units = {
-                               % for d in iommu_units:
+                               % for unit in iommu_units:
                                {
-                                       .base = ${hex(d)},
+                                       .base = ${hex(unit.base_addr)},
+                                       .size = ${hex(unit.mmio_size)},
+                                       % if unit.is_amd_iommu:
+                                       .amd_bdf = ${hex(unit.amd_bdf)},
+                                       .amd_base_cap = ${hex(unit.amd_base_cap)},
+                                       .amd_msi_cap = ${hex(unit.amd_msi_cap)},
+                                       .amd_features = ${hex(unit.amd_features)},
+                                       % endif
                                },
                                % endfor
                        },
                        % endif
                },
-               .device_limit = 128,
                .interrupt_limit = 256,
                .root_cell = {
                        .name = "RootCell",
@@ -119,7 +125,9 @@ struct {
                {
                        .address = ${hex(i.address)},
                        .id = ${hex(i.irqchip_id())},
-                       .pin_bitmap = 0xffffff,
+                       .pin_bitmap = {
+                               0xffffff
+                       },
                },
                % endfor
        },
@@ -131,7 +139,7 @@ struct {
                [  0x60/8 ...   0x67/8] = 0xec, /* HACK: NMI status/control */
                [  0x68/8 ...   0x6f/8] = -1,
                [  0x70/8 ...   0x77/8] = 0xfc, /* RTC */
-               [  0x78/8 ...   0x7f/7] = -1,
+               [  0x78/8 ...   0x7f/8] = -1,
                [  0x80/8 ...   0x87/8] = 0xfe, /* Linux: native_io_delay() */
                [  0x88/8 ...  0x3af/8] = -1,
                [ 0x3b0/8 ...  0x3df/8] = 0x00, /* VGA */