Index: /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 73606)
+++ /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 73607)
@@ -5829,4 +5829,5 @@
 
 
+#ifdef VBOX_WITH_NESTED_HWVIRT_VMX
 /**
  * Sets a general-protection (\#GP) exception as pending-for-injection into the VM.
@@ -5843,4 +5844,5 @@
     hmR0VmxSetPendingEvent(pVCpu, u32IntInfo, 0 /* cbInstr */, u32ErrCode, 0 /* GCPtrFaultAddress */);
 }
+#endif