[Xen-changelog] [xen-unstable] xen/arm: implement arch_domain_destroy

[Xen patchbot-unstable <patchbot@xxxxxxx>]

# HG changeset patch
# User Stefano Stabellini <stefano.stabellini@xxxxxxxxxxxxx>
# Date 1360063868 0
# Node ID bcb3e1902b3094bdf2d30c9e1146d0dbfc4edac0
# Parent  02ae3b8505b4788f6b24eebf4c5399d01a8364a1
xen/arm: implement arch_domain_destroy

Implement arch_domain_destroy, use it in the error path of
arch_domain_create.

Signed-off-by: Stefano Stabellini <stefano.stabellini@xxxxxxxxxxxxx>
Acked-by: Ian Campbell <ian.campbell@xxxxxxxxxx>
Acked-by: Tim Deegan <tim@xxxxxxx>
Committed-by: Ian Campbell <ian.campbell@xxxxxxxxxx>
---


diff -r 02ae3b8505b4 -r bcb3e1902b30 xen/arch/arm/domain.c
--- a/xen/arch/arm/domain.c     Tue Feb 05 09:44:00 2013 +0100
+++ b/xen/arch/arm/domain.c     Tue Feb 05 11:31:08 2013 +0000
@@ -437,20 +437,17 @@ int arch_domain_create(struct domain *d,
 
 fail:
     d->is_dying = DOMDYING_dead;
-    free_xenheap_page(d->shared_info);
-
-    p2m_teardown(d);
-
-    domain_vgic_free(d);
-    domain_uart0_free(d);
+    arch_domain_destroy(d);
 
     return rc;
 }
 
 void arch_domain_destroy(struct domain *d)
 {
-    /* p2m_destroy */
-    /* domain_vgic_destroy */
+    p2m_teardown(d);
+    domain_vgic_free(d);
+    domain_uart0_free(d);
+    free_xenheap_page(d->shared_info);
 }
 
 static int is_guest_psr(uint32_t psr)

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog