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 /device_tree.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 'device_tree.c')
0 files changed, 0 insertions, 0 deletions