--- old/src/hotspot/os/windows/os_windows.cpp	2019-10-21 16:07:28.829380213 +0200
+++ new/src/hotspot/os/windows/os_windows.cpp	2019-10-21 16:07:28.597376303 +0200
@@ -795,6 +795,10 @@
   }
 }
 
+uint os::processor_id() {
+  return (uint)GetCurrentProcessorNumber();
+}
+
 void os::set_native_thread_name(const char *name) {
 
   // See: http://msdn.microsoft.com/en-us/library/xcb2z8hs.aspx