Index: /trunk/include/iprt/system.h
===================================================================
--- /trunk/include/iprt/system.h	(revision 76072)
+++ /trunk/include/iprt/system.h	(revision 76073)
@@ -268,4 +268,17 @@
 RTDECL(uint32_t) RTSystemGetNtBuildNo(void);
 
+/** Makes an NT version for comparison with RTSystemGetNtVersion(). */
+# define RTSYSTEM_MAKE_NT_VERSION(a_uMajor, a_uMinor, a_uBuild) \
+    ( ((uint64_t)(a_uMajor) << 52) | ((uint64_t)((a_uMinor) & 0xfffU) << 40) | ((uint32_t)(a_uBuild)) )
+
+/**
+ * Get the Windows NT version number.
+ *
+ * @returns Version formatted using RTSYSTEM_MAKE_NT_VERSION().
+ *
+ * @remarks Windows NT only.  Requires IPRT to be initialized.
+ */
+RTDECL(uint32_t) RTSystemGetNtVersion(void);
+
 #endif /* RT_OS_WINDOWS */
 
Index: /trunk/src/VBox/Runtime/r3/win/RTSystemQueryOSInfo-win.cpp
===================================================================
--- /trunk/src/VBox/Runtime/r3/win/RTSystemQueryOSInfo-win.cpp	(revision 76072)
+++ /trunk/src/VBox/Runtime/r3/win/RTSystemQueryOSInfo-win.cpp	(revision 76073)
@@ -347,2 +347,8 @@
 }
 
+
+RTDECL(uint32_t) RTSystemGetNtVersion(void)
+{
+    return RTSYSTEM_MAKE_NT_VERSION(g_WinOsInfoEx.dwMajorVersion, g_WinOsInfoEx.dwMinorVersion, g_WinOsInfoEx.dwBuildNumber);
+}
+