[Xen-changelog] [xen-unstable] xen: arm: stub domain_relinquish_resources.

[Xen patchbot-unstable <patchbot@xxxxxxx>]

# HG changeset patch
# User Ian Campbell <ian.campbell@xxxxxxxxxx>
# Date 1355926585 0
# Node ID 8dad184a8e2a9c539c4c359f4cab165f5eac29e0
# Parent  dcee6a203836bcb8727edb505dbccfc6566e6420
xen: arm: stub domain_relinquish_resources.

Currently unimplemented. Domain teardown in general needs looking at.

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


diff -r dcee6a203836 -r 8dad184a8e2a xen/arch/arm/domain.c
--- a/xen/arch/arm/domain.c     Wed Dec 19 14:16:24 2012 +0000
+++ b/xen/arch/arm/domain.c     Wed Dec 19 14:16:25 2012 +0000
@@ -520,6 +520,13 @@ void arch_vcpu_reset(struct vcpu *v)
     vcpu_end_shutdown_deferral(v);
 }
 
+int domain_relinquish_resources(struct domain *d)
+{
+    /* XXX teardown pagetables, free pages etc */
+    ASSERT(0);
+    return 0;
+}
+
 void arch_dump_domain_info(struct domain *d)
 {
 }
diff -r dcee6a203836 -r 8dad184a8e2a xen/arch/arm/dummy.S
--- a/xen/arch/arm/dummy.S      Wed Dec 19 14:16:24 2012 +0000
+++ b/xen/arch/arm/dummy.S      Wed Dec 19 14:16:25 2012 +0000
@@ -10,7 +10,6 @@ x:    mov pc, lr
 DUMMY(nr_irqs_gsi);
 
 /* Other */
-DUMMY(domain_relinquish_resources);
 DUMMY(dom_cow);
 DUMMY(send_timer_event);
 DUMMY(share_xen_page_with_privileged_guests);

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