diff options
author | Paolo Bonzini <pbonzini@redhat.com> | 2014-06-11 12:50:43 +0200 |
---|---|---|
committer | Paolo Bonzini <pbonzini@redhat.com> | 2014-08-18 12:06:21 +0200 |
commit | 469b046ead0671932ff3af8d6f95045b19b186ef (patch) | |
tree | 2ea738741930efbd091bf7fc645ce785bd1ec7a1 /aio-win32.c | |
parent | d8d95814609e89e5438a3318a647ec322fc4ff16 (diff) |
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>
Diffstat (limited to 'aio-win32.c')
0 files changed, 0 insertions, 0 deletions