--- a/src/hotspot/os/windows/os_windows.cpp	Wed Apr 10 02:41:43 2019 +0000
+++ b/src/hotspot/os/windows/os_windows.cpp	Wed Apr 10 08:51:38 2019 +0200
@@ -1601,6 +1601,10 @@
 #endif
   st->print("OS:");
   os::win32::print_windows_version(st);
+
+#ifdef _LP64
+  VM_Version::print_platform_virtualization_info(st);
+#endif
 }
 
 void os::win32::print_windows_version(outputStream* st) {