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

Timestamp:

May 21, 2007 2:16:22 PM (18 years ago)

Author:

vboxsync

Message:

Use 64 bits index for VMXWrite/ReadVMCS64.

File:

• trunk/src/VBox/VMM/VMMR0/HWACCMR0A.asm (modified) (2 diffs)

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

@@ -442 +442 @@
 BEGINPROC VMXWriteVMCS64
 %ifdef ASM_CALL64_GCC
-    and         edi, 0ffffffffh; serious paranoia
     vmwrite     rdi, rsi
 %else
-    and         ecx, 0ffffffffh; serious paranoia
     vmwrite     rcx, rdx
 %endif
@@ -468 +466 @@
 BEGINPROC VMXReadVMCS64
 %ifdef ASM_CALL64_GCC
-    and         edi, 0ffffffffh; serious paranoia
     vmread      [rsi], rdi
 %else
-    and         ecx, 0ffffffffh; serious paranoia
     vmread      [rdx], rcx
 %endif