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-30 21:13:30 +02:00
2014-08-18 12:06:21 +02:00
2014-08-18 12:06:21 +02:00
2014-06-27 13:48:26 +02:00
2014-08-18 12:06:21 +02:00
2014-08-18 12:06:21 +02:00
2014-06-27 13:48:22 +02:00
2014-08-18 12:06:21 +02:00
2014-06-30 21:13:30 +02:00
2014-07-08 15:08:03 +02:00
2014-08-18 12:06:21 +02:00
2014-06-30 21:13:30 +02:00
2014-06-30 21:13:30 +02:00
2014-08-18 12:06:21 +02:00
2014-08-18 12:06:21 +02:00
2014-08-18 12:06:21 +02:00