Got it now. It would sort of help, because while dumping the MSR load/storeEFER isn't guaranteed to be in the load list, either, e.g. if guest and host
area you could get hold of the real EFER, and use it to decide whether to
dump the PDPTRs.
have the same desired value.
The proper way to retrieve the effective EFER is to reuse the logic in
nested_vmx_calc_efer(), i.e. look at VM_ENTRY_IA32E_MODE if EFER isn't being
loaded via VMCS.
Shouldn't dump_vmcs() simply dump the contents of the VMCS, in its
entirety? What does it matter what the value of EFER is?