Paolo Bonzini 469b046ead 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>
2014-08-18 12:06:21 +02:00
..
2014-08-18 12:06:21 +02:00
2014-06-23 11:00:12 -04:00
2014-06-23 11:12:28 -04:00
2014-06-27 11:19:31 +02:00
2014-06-23 11:01:25 -04:00
2014-07-14 12:03:21 +02:00