diff options
author | Eduardo Habkost <ehabkost@redhat.com> | 2015-11-06 19:20:05 -0200 |
---|---|---|
committer | Paolo Bonzini <pbonzini@redhat.com> | 2015-12-17 15:24:34 +0100 |
commit | fc3e7665d7fe1b2f842441d250d7afec26b8a910 (patch) | |
tree | a28e04a50710e8cb28c0d5027b448440e6348894 /exec.c | |
parent | a29ac16632aec6065c72985b9f7eeb1ca6fbef4a (diff) |
memory: Eliminate memory_region_destructor_ram_from_ptr()
The function is equivalent to memory_region_destructor_ram(), so
it's not needed anymore.
Signed-off-by: Eduardo Habkost <ehabkost@redhat.com>
Message-Id: <1446844805-14492-3-git-send-email-ehabkost@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'exec.c')
0 files changed, 0 insertions, 0 deletions