Re: [PATCH 2/6] vVMX: adjust reg_read() for 32-bit guests

On 11.06.2025 13:07, Andrew Cooper wrote: > On 11/06/2025 11:42 am, Jan Beulich wrote: >> Using the full 64-bit register values is wrong in this case; especially >> soon after a mode switch from long mode to 32-bit one upper halves of >> registers may continue to be non-zero. >> >> Fixes: 09fce8016

Re: [PATCH 2/6] vVMX: adjust reg_read() for 32-bit guests

On 11/06/2025 11:42 am, Jan Beulich wrote: > Using the full 64-bit register values is wrong in this case; especially > soon after a mode switch from long mode to 32-bit one upper halves of > registers may continue to be non-zero. > > Fixes: 09fce8016596 ("Nested VMX: Emulation of guest VMXON/OFF in

[PATCH 2/6] vVMX: adjust reg_read() for 32-bit guests

Using the full 64-bit register values is wrong in this case; especially soon after a mode switch from long mode to 32-bit one upper halves of registers may continue to be non-zero. Fixes: 09fce8016596 ("Nested VMX: Emulation of guest VMXON/OFF instruction") Signed-off-by: Jan Beulich --- Note tha