Synchronise lazy execstate before calling tasklet handlers.

This ensures we are properly running on idle-vcpu state, which certain
things (e.g., use of vmx_vmcs_{enter,exit}) rely on. It also means we
don't need to do the same thing in the stopmachine_run handler.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

1 files changed, 1 insertions, 0 deletions

diff --git a/xen/common/tasklet.c b/xen/common/tasklet.c
index 1ee2758663..05665ebc5d 100644
--- a/xen/common/tasklet.c
+++ b/xen/common/tasklet.c
@@ -76,6 +76,7 @@ void do_tasklet(void)
     t->is_running = 1;
 
     spin_unlock_irq(&tasklet_lock);
+    sync_local_execstate();
     t->func(t->data);
     spin_lock_irq(&tasklet_lock);