diff --git a/sys/i386/xen/mp_machdep.c b/sys/i386/xen/mp_machdep.c index 6b4be60b70a7..ef1ef12e83a3 100644 --- a/sys/i386/xen/mp_machdep.c +++ b/sys/i386/xen/mp_machdep.c @@ -1132,10 +1132,10 @@ ipi_selected(cpumask_t cpus, u_int ipi) ipi_pcpu(cpu, RESCHEDULE_VECTOR); continue; + } else { + KASSERT(call_data != NULL, ("call_data not set")); + ipi_pcpu(cpu, CALL_FUNCTION_VECTOR); } - - KASSERT(call_data != NULL, ("call_data not set")); - ipi_pcpu(cpu, CALL_FUNCTION_VECTOR); } }