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 /memory-internal.h | |
| 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 'memory-internal.h')
| -rw-r--r-- | memory-internal.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/memory-internal.h b/memory-internal.h index 6d8711bb1f..4d33cc9530 100644 --- a/memory-internal.h +++ b/memory-internal.h @@ -41,6 +41,7 @@ struct AddressSpaceDispatch { }; void address_space_init_dispatch(AddressSpace *as); +void address_space_destroy_dispatch(AddressSpace *as); ram_addr_t qemu_ram_alloc_from_ptr(ram_addr_t size, void *host, MemoryRegion *mr); |