Changeset 9896 in vbox for trunk/src/VBox/VMM

Timestamp:

Jun 25, 2008 7:39:24 AM (16 years ago)

Author:

vboxsync

Message:

Fixed SVMInvlpgA for 64 bits guest pointers and a potential issue with the high dword of the register in 64 bits host mode.

File:

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

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

@@ -928 +928 @@
 
 
+%if GC_ARCH_BITS == 64
+;;
+; Executes INVLPGA
+;
+; @param   pPageGC  msc:rcx  gcc:rdi  x86:[esp+04]  Virtual page to invalidate
+; @param   uASID    msc:rdx  gcc:rsi  x86:[esp+0C]  Tagged TLB id
+;
+;DECLASM(void) SVMInvlpgA(RTGCPTR pPageGC, uint32_t uASID);
+BEGINPROC SVMInvlpgA
+%ifdef RT_ARCH_AMD64
+ %ifdef ASM_CALL64_GCC
+    mov     rax, rdi
+    mov     rcx, rsi
+ %else
+    movzx   rax, ecx
+    mov     rcx, rdx
+ %endif
+%else
+    mov     eax, [esp + 4]
+    mov     ecx, [esp + 0Ch]
+%endif
+    invlpga [xAX], ecx
+    ret
+ENDPROC SVMInvlpgA
+
+%else
 ;;
 ; Executes INVLPGA
@@ -938 +964 @@
 %ifdef RT_ARCH_AMD64
  %ifdef ASM_CALL64_GCC
-    mov     eax, edi                    ;; @todo 64-bit guest.
+    movzx   rax, edi
     mov     ecx, esi
  %else
-    mov     eax, ecx                    ;; @todo 64-bit guest.
+    movzx   rax, ecx
     mov     ecx, edx
  %endif
@@ -952 +978 @@
 ENDPROC SVMInvlpgA
 
+%endif ; GC_ARCH_BITS != 64
+