How can I find values of general purpose registers of running VMX virtual machine? Manual suggests that in some cases (like transitional stages between CPU modes, ...) hypervisor should emulate execution. For this, hypervisor needs to know values of GPRs.
How to get them? I don't see any encodings for GPRs in list of VMCS encodings.