Changeset 61692 in vbox for trunk/src/VBox/VMM/VMMR0

Timestamp:

Jun 14, 2016 11:21:59 AM (9 years ago)

Author:

vboxsync

Message:

VMX: Clear high dword when reading 32 bits into the VMCS cache, bugref:8432

File:

• trunk/src/VBox/VMM/VMMR0/HMR0A.asm (modified) (1 diff)

trunk/src/VBox/VMM/VMMR0/HMR0A.asm

@@ -1208 +1208 @@
     mov     eax, [ss:xDX + VMCSCACHE.Read.aField + xCX * 4]
     vmread  [ss:xDX + VMCSCACHE.Read.aFieldVal + xCX * 8], xAX
+    mov     dword [ss:xDX + VMCSCACHE.Read.aFieldVal + xCX * 8 + 4], 0
     cmp     xCX, 0
     jnz     %%cached_read32