tree ed5bdab5dd91f6e102eb228691c133485c0a8aa5
parent b90600eed3c0efe5f3260853c873caf51c0677b1
author Avi Kivity <avi@redhat.com> 1349607595 +0200
committer Avi Kivity <avi@redhat.com> 1350910208 +0200

memory: add address_space_destroy()

Since address spaces can be created dynamically by device hotplug, they
can also be destroyed dynamically.

Signed-off-by: Avi Kivity <avi@redhat.com>