Index: /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 79663)
+++ /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 79664)
@@ -10608,5 +10608,5 @@
 static DECLCALLBACK(void) hmR0DispatchHostNmi(RTCPUID idCpu, void *pvUser1, void *pvUser2)
 {
-    RT_NOREF2(pvUser1, pvUser2);
+    RT_NOREF3(idCpu, pvUser1, pvUser2);
     VMXDispatchHostNmi();
 }