Index: /trunk/src/VBox/VMM/VMMR0/VMMR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/VMMR0.cpp	(revision 31350)
+++ /trunk/src/VBox/VMM/VMMR0/VMMR0.cpp	(revision 31351)
@@ -976,4 +976,6 @@
 # elif !defined(RT_OS_WINDOWS)
                 RTCCUINTREG uFlags = ASMIntDisableFlags();
+# else 
+                AssertCompileFailed();
 # endif
                 /* Select a valid VCPU context. */
@@ -988,4 +990,6 @@
 # elif !defined(RT_OS_WINDOWS)
                 ASMSetFlags(uFlags);
+# else 
+                AssertCompileFailed();
 # endif