|
@@ -205,17 +205,11 @@ static void vmgenid_handle_reset(void *opaque)
|
|
memset(vms->vmgenid_addr_le, 0, ARRAY_SIZE(vms->vmgenid_addr_le));
|
|
memset(vms->vmgenid_addr_le, 0, ARRAY_SIZE(vms->vmgenid_addr_le));
|
|
}
|
|
}
|
|
|
|
|
|
-static Property vmgenid_properties[] = {
|
|
|
|
- DEFINE_PROP_BOOL("x-write-pointer-available", VmGenIdState,
|
|
|
|
- write_pointer_available, true),
|
|
|
|
- DEFINE_PROP_END_OF_LIST(),
|
|
|
|
-};
|
|
|
|
-
|
|
|
|
static void vmgenid_realize(DeviceState *dev, Error **errp)
|
|
static void vmgenid_realize(DeviceState *dev, Error **errp)
|
|
{
|
|
{
|
|
VmGenIdState *vms = VMGENID(dev);
|
|
VmGenIdState *vms = VMGENID(dev);
|
|
|
|
|
|
- if (!vms->write_pointer_available) {
|
|
|
|
|
|
+ if (!bios_linker_loader_can_write_pointer()) {
|
|
error_setg(errp, "%s requires DMA write support in fw_cfg, "
|
|
error_setg(errp, "%s requires DMA write support in fw_cfg, "
|
|
"which this machine type does not provide", VMGENID_DEVICE);
|
|
"which this machine type does not provide", VMGENID_DEVICE);
|
|
return;
|
|
return;
|
|
@@ -239,7 +233,6 @@ static void vmgenid_device_class_init(ObjectClass *klass, void *data)
|
|
dc->vmsd = &vmstate_vmgenid;
|
|
dc->vmsd = &vmstate_vmgenid;
|
|
dc->realize = vmgenid_realize;
|
|
dc->realize = vmgenid_realize;
|
|
dc->hotpluggable = false;
|
|
dc->hotpluggable = false;
|
|
- dc->props = vmgenid_properties;
|
|
|
|
set_bit(DEVICE_CATEGORY_MISC, dc->categories);
|
|
set_bit(DEVICE_CATEGORY_MISC, dc->categories);
|
|
|
|
|
|
object_class_property_add_str(klass, VMGENID_GUID, NULL,
|
|
object_class_property_add_str(klass, VMGENID_GUID, NULL,
|