the (physical) CPU this was executing on did not get its multicall
state cleared and would reject any further multicalls, likely leading
to crashing dom0 at some point.
Signed-off-by: Jan Beulich <jbeulich@novell.com>
#include <xen/delay.h>
#include <xen/shutdown.h>
#include <xen/percpu.h>
+#include <xen/multicall.h>
#include <asm/debugger.h>
#include <public/sched.h>
#include <public/vcpu.h>
void __domain_crash_synchronous(void)
{
__domain_crash(current->domain);
+
+ /* Flush multicall state before dying. */
+ this_cpu(mc_state).flags = 0;
+
for ( ; ; )
do_softirq();
}