diff options
| author | David Hildenbrand <david@redhat.com> | 2018-07-02 11:41:52 +0200 |
|---|---|---|
| committer | Eduardo Habkost <ehabkost@redhat.com> | 2018-07-09 14:37:48 -0300 |
| commit | 2ff4f67cabbefb1842b06611e4f79857fc42925a (patch) | |
| tree | 34d5735e0cf95bbcbd75dd5a79112e9095b16064 /hw | |
| parent | 43a473993fd9378bf850dcafa68eb6dee8c300f8 (diff) | |
machine: properly free device_memory
Machines might have inititalized device_memory if they support memory
devices, so let's properly free it.
Signed-off-by: David Hildenbrand <david@redhat.com>
Message-Id: <20180702094152.7882-1-david@redhat.com>
Reviewed-by: Igor Mammedov <imammedo@redhat.com>
Signed-off-by: Eduardo Habkost <ehabkost@redhat.com>
Diffstat (limited to 'hw')
| -rw-r--r-- | hw/core/machine.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/hw/core/machine.c b/hw/core/machine.c index 2077328bcc..3fad6f8801 100644 --- a/hw/core/machine.c +++ b/hw/core/machine.c @@ -674,6 +674,7 @@ static void machine_finalize(Object *obj) g_free(ms->dumpdtb); g_free(ms->dt_compatible); g_free(ms->firmware); + g_free(ms->device_memory); } bool machine_usb(MachineState *machine) |