Dump VMCS on Intel CPU

[Mukesh Rathor <mukesh.rathor@oracle.com>]

Hi,

I'd like to dump VMCS for all HVM VCPUs from a cpu that is running kdb. While 
this CPU is doing kdb commands, all other CPUs are spinning disabled in kdb 
function.

On AMD, it was simple by calling svm_dump_vmcb() by passing vmcb from
each vcpu struct. Looking at vmcs.c, I see quite a bit of mumbo-jumbo in
terms of setting context, even IPI other CPUs, etc. That doesn't work
for me. So the question is, is there any reason followig won't work?

   for each hvm vcpu {
       __vmptrld(virt_to_maddr(vp->arch.hvm_vmx.vmcs));
       vmcs_dump_vcpu();
   }
   if ( is_hvm_vcpu(current) )
       __vmptrld(virt_to_maddr(current->arch.hvm_vmx.vmcs));


Seems to work ok, but I want to make sure.

thanks,
Mukesh