diff --git a/xen/common/xsplice.c b/xen/common/xsplice.c index 21b9ec027a..b68875b5f3 100644 --- a/xen/common/xsplice.c +++ b/xen/common/xsplice.c @@ -1262,9 +1262,10 @@ void check_for_xsplice_work(void) arch_xsplice_post_action(); local_irq_restore(flags); } - arch_xsplice_unmask(); abort: + arch_xsplice_unmask(); + per_cpu(work_to_do, cpu) = 0; xsplice_work.do_work = 0;