tree 2ea738741930efbd091bf7fc645ce785bd1ec7a1
parent d8d95814609e89e5438a3318a647ec322fc4ff16
author Paolo Bonzini <pbonzini@redhat.com> 1402483843 +0200
committer Paolo Bonzini <pbonzini@redhat.com> 1408356381 +0200

memory: remove memory_region_destroy

The function is empty after the previous patch, so remove it.

Reviewed-by: Peter Crosthwaite <peter.crosthwaite@xilinx.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>