Index: /trunk/src/VBox/HostDrivers/Support/linux/SUPLib-linux.cpp
===================================================================
--- /trunk/src/VBox/HostDrivers/Support/linux/SUPLib-linux.cpp	(revision 22617)
+++ /trunk/src/VBox/HostDrivers/Support/linux/SUPLib-linux.cpp	(revision 22618)
@@ -253,6 +253,4 @@
 }
 
-#endif /* !IN_SUP_HARDENED_R3 */
-
 
 /** Check if the host kernel supports VT-x or not.
@@ -292,2 +290,5 @@
     return VERR_SUPDRV_KERNEL_TOO_OLD_FOR_VTX;
 }
+
+#endif /* !IN_SUP_HARDENED_R3 */
+