commit | 83f3c251422b0724044f976a7ff26b2e8a47c374 | [log] [tgz] |
---|---|---|
author | Avi Kivity <avi@redhat.com> | Sun Oct 07 12:59:55 2012 +0200 |
committer | Avi Kivity <avi@redhat.com> | Mon Oct 22 14:50:08 2012 +0200 |
tree | ed5bdab5dd91f6e102eb228691c133485c0a8aa5 | |
parent | b90600eed3c0efe5f3260853c873caf51c0677b1 [diff] |
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>