There's not really any register state associated with vCPU-s that
haven't been initialized yet, 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>
Reviewed-by: Roger Pau Monné <roger.pau@citrix.com>
printk("\n>>> Domain %d <<<\n", d->domain_id);
for_each_vcpu ( d, v )
{
+ if ( !v->is_initialised )
+ {
+ printk("\tVCPU %u: not initialized\n", v->vcpu_id);
+ continue;
+ }
printk("\tVCPU %d\n", v->vcpu_id);
svm_vmcb_dump("key_handler", v->arch.hvm.svm.vmcb);
}
printk("\n>>> Domain %d <<<\n", d->domain_id);
for_each_vcpu ( d, v )
{
+ if ( !v->is_initialised )
+ {
+ printk("\tVCPU %u: not initialized\n", v->vcpu_id);
+ continue;
+ }
printk("\tVCPU %d\n", v->vcpu_id);
vmcs_dump_vcpu(v);
}