diff options
| -rw-r--r-- | hw/xen/xen-bus.c | 2 | ||||
| -rw-r--r-- | hw/xen/xen_pt.c | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/hw/xen/xen-bus.c b/hw/xen/xen-bus.c index 95b207ac8b..0d7defb8cd 100644 --- a/hw/xen/xen-bus.c +++ b/hw/xen/xen-bus.c @@ -1092,7 +1092,7 @@ unrealize: xen_device_unrealize(dev); } -static Property xen_device_props[] = { +static const Property xen_device_props[] = { DEFINE_PROP_UINT16("frontend-id", XenDevice, frontend_id, DOMID_INVALID), DEFINE_PROP_END_OF_LIST() diff --git a/hw/xen/xen_pt.c b/hw/xen/xen_pt.c index 3635d1b39f..557aa98be4 100644 --- a/hw/xen/xen_pt.c +++ b/hw/xen/xen_pt.c @@ -931,7 +931,7 @@ static void xen_pt_unregister_device(PCIDevice *d) xen_pt_destroy(d); } -static Property xen_pci_passthrough_properties[] = { +static const Property xen_pci_passthrough_properties[] = { DEFINE_PROP_PCI_HOST_DEVADDR("hostaddr", XenPCIPassthroughState, hostaddr), DEFINE_PROP_BOOL("permissive", XenPCIPassthroughState, permissive, false), DEFINE_PROP_END_OF_LIST(), |