There's not really any register state associated with offline vCPU-s, so
avoid spamming the log with largely useless information while still
leaving an indication of the fact.
Signed-off-by: Jan Beulich <jbeulich@suse.com>
---
v2: New.
--- a/xen/arch/x86/hvm/svm/vmcb.c
+++ b/xen/arch/x86/hvm/svm/vmcb.c
@@ -242,6 +242,11 @@ static void vmcb_dump(unsigned char ch)
printk("\n>>> Domain %d <<<\n", d->domain_id);
for_each_vcpu ( d, v )
{
+ if ( test_bit(_VPF_down, &v->pause_flags) )
+ {
+ printk("\tVCPU %u: offline\n", v->vcpu_id);
+ continue;
+ }
printk("\tVCPU %d\n", v->vcpu_id);
svm_vmcb_dump("key_handler", v->arch.hvm.svm.vmcb);
}
--- a/xen/arch/x86/hvm/vmx/vmcs.c
+++ b/xen/arch/x86/hvm/vmx/vmcs.c
@@ -2133,6 +2133,11 @@ static void vmcs_dump(unsigned char ch)
printk("\n>>> Domain %d <<<\n", d->domain_id);
for_each_vcpu ( d, v )
{
+ if ( test_bit(_VPF_down, &v->pause_flags) )
+ {
+ printk("\tVCPU %u: offline\n", v->vcpu_id);
+ continue;
+ }
printk("\tVCPU %d\n", v->vcpu_id);
vmcs_dump_vcpu(v);
}