[Xen-changelog] [xen-unstable] xen: arm: implement arch_vcpu_reset.

[Xen patchbot-unstable <patchbot@xxxxxxx>]

# HG changeset patch
# User Ian Campbell <ian.campbell@xxxxxxxxxx>
# Date 1355926581 0
# Node ID 98b8d7121332a1db990429c7f432ae11dbb31bfa
# Parent  d72be2fc7e755fbc9471a1e801d0b88b02971ce4
xen: arm: implement arch_vcpu_reset.

Untested.

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 d72be2fc7e75 -r 98b8d7121332 xen/arch/arm/domain.c
--- a/xen/arch/arm/domain.c     Wed Dec 19 14:16:20 2012 +0000
+++ b/xen/arch/arm/domain.c     Wed Dec 19 14:16:21 2012 +0000
@@ -515,6 +515,11 @@ int arch_set_info_guest(
     return 0;
 }
 
+void arch_vcpu_reset(struct vcpu *v)
+{
+    vcpu_end_shutdown_deferral(v);
+}
+
 void arch_dump_domain_info(struct domain *d)
 {
 }
diff -r d72be2fc7e75 -r 98b8d7121332 xen/arch/arm/dummy.S
--- a/xen/arch/arm/dummy.S      Wed Dec 19 14:16:20 2012 +0000
+++ b/xen/arch/arm/dummy.S      Wed Dec 19 14:16:21 2012 +0000
@@ -14,7 +14,6 @@ DUMMY(pirq_guest_unbind);
 DUMMY(pirq_set_affinity);
 
 /* VCPU */
-DUMMY(arch_vcpu_reset);
 NOP(update_vcpu_system_time);
 
 /* Grant Tables */

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