24 guests with 8 vcpus each is sufficient to hit a 5 second watchdog.
Drop a piece of trailing whitespace while here.
Reported-by: Aidan Allen <aidan.allen1@cloud.com>
Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: Roger Pau Monné <roger.pau@citrix.com>
Tested-by: Aidan Allen <aidan.allen1@cloud.com>
#include <xen/mm.h>
#include <xen/rcupdate.h>
#include <xen/sched.h>
+#include <xen/softirq.h>
+
#include <asm/hvm/svm/vmcb.h>
#include <asm/msr-index.h>
#include <asm/p2m.h>
}
printk("\tVCPU %d\n", v->vcpu_id);
svm_vmcb_dump("key_handler", v->arch.hvm.svm.vmcb);
+
+ process_pending_softirqs();
}
}
{
struct domain *d;
struct vcpu *v;
-
+
printk("*********** VMCS Areas **************\n");
rcu_read_lock(&domlist_read_lock);
}
printk("\tVCPU %d\n", v->vcpu_id);
vmcs_dump_vcpu(v);
+
+ process_pending_softirqs();
}
}