|
@@ -3354,7 +3354,7 @@ static void vfio_instance_init(Object *obj)
|
|
|
pci_dev->cap_present |= QEMU_PCI_CAP_EXPRESS;
|
|
|
}
|
|
|
|
|
|
-static Property vfio_pci_dev_properties[] = {
|
|
|
+static const Property vfio_pci_dev_properties[] = {
|
|
|
DEFINE_PROP_PCI_HOST_DEVADDR("host", VFIOPCIDevice, host),
|
|
|
DEFINE_PROP_UUID_NODEFAULT("vf-token", VFIOPCIDevice, vf_token),
|
|
|
DEFINE_PROP_STRING("sysfsdev", VFIOPCIDevice, vbasedev.sysfsdev),
|
|
@@ -3451,7 +3451,7 @@ static const TypeInfo vfio_pci_dev_info = {
|
|
|
},
|
|
|
};
|
|
|
|
|
|
-static Property vfio_pci_dev_nohotplug_properties[] = {
|
|
|
+static const Property vfio_pci_dev_nohotplug_properties[] = {
|
|
|
DEFINE_PROP_BOOL("ramfb", VFIOPCIDevice, enable_ramfb, false),
|
|
|
DEFINE_PROP_ON_OFF_AUTO("x-ramfb-migrate", VFIOPCIDevice, ramfb_migrate,
|
|
|
ON_OFF_AUTO_AUTO),
|