Index: /trunk/src/VBox/VMM/VMMR0/HMR0Mixed.mac
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMR0Mixed.mac	(revision 50427)
+++ /trunk/src/VBox/VMM/VMMR0/HMR0Mixed.mac	(revision 50428)
@@ -19,15 +19,17 @@
 ;
 
+
+;;
+; Keep these macro definitions in this file as it gets included and compiled
+; with RT_ARCH_AMD64 once and RT_ARCH_X86 once.
+%undef VMX_SKIP_GDTR
+%undef VMX_SKIP_IDTR
+%undef VMX_SKIP_TR
+
 %ifdef RT_ARCH_AMD64
- ;;
- ; Keep these macro definitions in this file as it gets included and compiled
- ; with RT_ARCH_AMD64 once and RT_ARCH_X86 once.
  %define VMX_SKIP_GDTR
  %ifdef RT_OS_DARWIN
  ; Darwin (Mavericks) uses IDTR limit to store the CPU Id so we need to restore it always.
  ; See @bugref{6875}.
- %elifdef RT_OS_WINDOWS
- ; Windows 8.1 RTM also seems to be using the IDTR limit for something. See @bugref{6956}.
- ;; @todo figure out what exactly it does and try and restrict it to specific Window versions.
  %else
   %define VMX_SKIP_IDTR