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 /COPYING.LIB | |
| 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 'COPYING.LIB')
0 files changed, 0 insertions, 0 deletions