aboutsummaryrefslogtreecommitdiff
path: root/memory.h
diff options
context:
space:
mode:
authorAvi Kivity <avi@redhat.com>2012-10-07 12:59:55 +0200
committerAvi Kivity <avi@redhat.com>2012-10-22 14:50:08 +0200
commit83f3c251422b0724044f976a7ff26b2e8a47c374 (patch)
treeed5bdab5dd91f6e102eb228691c133485c0a8aa5 /memory.h
parentb90600eed3c0efe5f3260853c873caf51c0677b1 (diff)
downloadqemu-83f3c251422b0724044f976a7ff26b2e8a47c374.zip
qemu-83f3c251422b0724044f976a7ff26b2e8a47c374.tar.gz
qemu-83f3c251422b0724044f976a7ff26b2e8a47c374.tar.bz2
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 'memory.h')
-rw-r--r--memory.h12
1 files changed, 12 insertions, 0 deletions
diff --git a/memory.h b/memory.h
index d36c2ba..79393f1 100644
--- a/memory.h
+++ b/memory.h
@@ -804,6 +804,18 @@ void mtree_info(fprintf_function mon_printf, void *f);
*/
void address_space_init(AddressSpace *as, MemoryRegion *root);
+
+/**
+ * address_space_destroy: destroy an address space
+ *
+ * Releases all resources associated with an address space. After an address space
+ * is destroyed, its root memory region (given by address_space_init()) may be destroyed
+ * as well.
+ *
+ * @as: address space to be destroyed
+ */
+void address_space_destroy(AddressSpace *as);
+
/**
* address_space_rw: read from or write to an address space.
*