diff options
author | Avi Kivity <avi@redhat.com> | 2012-10-07 12:59:55 +0200 |
---|---|---|
committer | Avi Kivity <avi@redhat.com> | 2012-10-22 14:50:08 +0200 |
commit | 83f3c251422b0724044f976a7ff26b2e8a47c374 (patch) | |
tree | ed5bdab5dd91f6e102eb228691c133485c0a8aa5 /hw/pci.c | |
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>
Diffstat (limited to 'hw/pci.c')
0 files changed, 0 insertions, 0 deletions