[Xen-changelog] [xen-unstable] arm: stub out sync_vcpu_execstate

[Xen patchbot-unstable <patchbot@xxxxxxx>]

# HG changeset patch
# User Ian Campbell <ian.campbell@xxxxxxxxxx>
# Date 1340724232 -3600
# Node ID ed928dedcb868928c4bb2cadcb71db1f3dfd4fca
# Parent  86cc6f76973a6484c80f6b344fb512029ae335dd
arm: stub out sync_vcpu_execstate

We don't do lazy exec state switching so there isn't actually anything to do.

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


diff -r 86cc6f76973a -r ed928dedcb86 xen/arch/arm/domain.c
--- a/xen/arch/arm/domain.c     Tue Jun 26 16:23:51 2012 +0100
+++ b/xen/arch/arm/domain.c     Tue Jun 26 16:23:52 2012 +0100
@@ -96,6 +96,11 @@ void sync_local_execstate(void)
     /* Nothing to do -- no lazy switching */
 }
 
+void sync_vcpu_execstate(struct vcpu *v)
+{
+    /* Nothing to do -- no lazy switching */
+}
+
 void startup_cpu_idle_loop(void)
 {
     struct vcpu *v = current;
diff -r 86cc6f76973a -r ed928dedcb86 xen/arch/arm/dummy.S
--- a/xen/arch/arm/dummy.S      Tue Jun 26 16:23:51 2012 +0100
+++ b/xen/arch/arm/dummy.S      Tue Jun 26 16:23:52 2012 +0100
@@ -22,7 +22,6 @@ DUMMY(pirq_set_affinity);
 /* VCPU */
 DUMMY(arch_get_info_guest);
 DUMMY(arch_vcpu_reset);
-DUMMY(sync_vcpu_execstate);
 NOP(update_vcpu_system_time);
 DUMMY(vcpu_show_execution_state);
 

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