Index: /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 73608)
+++ /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 73609)
@@ -5844,5 +5844,4 @@
     hmR0VmxSetPendingEvent(pVCpu, u32IntInfo, 0 /* cbInstr */, u32ErrCode, 0 /* GCPtrFaultAddress */);
 }
-#endif
 
 
@@ -5862,6 +5861,4 @@
 }
 
-
-#ifdef VBOX_WITH_NESTED_HWVIRT_VMX
 
 /**