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-06-16 13:24:38 +02:00
2013-11-05 17:47:29 +01:00
2013-11-05 17:47:30 +01:00
2014-06-30 21:13:30 +02:00
2014-08-18 12:06:21 +02:00
2014-05-24 19:43:52 +02:00
2013-07-29 21:06:59 +02:00
2014-06-23 11:12:28 -04:00
2014-08-18 12:06:21 +02:00