machine: properly free device_memory
commit2ff4f67cabbefb1842b06611e4f79857fc42925a
authorDavid Hildenbrand <david@redhat.com>
Mon, 2 Jul 2018 09:41:52 +0000 (2 11:41 +0200)
committerEduardo Habkost <ehabkost@redhat.com>
Mon, 9 Jul 2018 17:37:48 +0000 (9 14:37 -0300)
tree34d5735e0cf95bbcbd75dd5a79112e9095b16064
parent43a473993fd9378bf850dcafa68eb6dee8c300f8
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>
hw/core/machine.c