Index: /trunk/src/VBox/VMM/VMMR0/HMR0A.asm
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMR0A.asm	(revision 43736)
+++ /trunk/src/VBox/VMM/VMMR0/HMR0A.asm	(revision 43737)
@@ -971,7 +971,7 @@
 ; * @param  pIdtr        Where to store the 64-bit IDTR.
 ; */
-;DECLASM(void) hmR0Get64bitGDTRandIDTR(PX86XDTR64 pGdtr, PX86XDTR64 pIdtr);
-ALIGNCODE(16)
-BEGINPROC hmR0Get64bitGDTRandIDTR
+;DECLASM(void) hmR0Get64bitGdtrAndIdtr(PX86XDTR64 pGdtr, PX86XDTR64 pIdtr);
+ALIGNCODE(16)
+BEGINPROC hmR0Get64bitGdtrAndIdtr
     db      0xea                        ; jmp far .sixtyfourbit_mode
     dd      .sixtyfourbit_mode, NAME(SUPR0Abs64bitKernelCS)
@@ -991,5 +991,5 @@
     dd      .the_end, NAME(SUPR0AbsKernelCS)
 BITS 32
-ENDPROC   hmR0Get64bitGDTRandIDTR
+ENDPROC   hmR0Get64bitGdtrAndIdtr
 
 
Index: /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 43736)
+++ /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 43737)
@@ -1296,7 +1296,7 @@
         {
             X86XDTR64 gdtr64, idtr64;
-            hmR0Get64bitGDTRandIDTR(&gdtr64, &idtr64);
+            hmR0Get64bitGdtrAndIdtr(&gdtr64, &idtr64);
             rc  = VMXWriteVMCS64(VMX_VMCS_HOST_GDTR_BASE, gdtr64.uAddr);
-            rc |= VMXWriteVMCS64(VMX_VMCS_HOST_IDTR_BASE, gdtr64.uAddr);
+            rc |= VMXWriteVMCS64(VMX_VMCS_HOST_IDTR_BASE, idtr64.uAddr);
             AssertRC(rc);
             Log2(("VMX_VMCS_HOST_GDTR_BASE %RX64\n", gdtr64.uAddr));
Index: /trunk/src/VBox/VMM/include/HMInternal.h
===================================================================
--- /trunk/src/VBox/VMM/include/HMInternal.h	(revision 43736)
+++ /trunk/src/VBox/VMM/include/HMInternal.h	(revision 43737)
@@ -852,5 +852,5 @@
  * @param  pIdtr        Where to store the 64-bit IDTR.
  */
-DECLASM(void) hmR0Get64bitGDTRandIDTR(PX86XDTR64 pGdtr, PX86XDTR64 pIdtr);
+DECLASM(void) hmR0Get64bitGdtrAndIdtr(PX86XDTR64 pGdtr, PX86XDTR64 pIdtr);
 
 /**