--- a/src/hotspot/os/windows/os_windows.cpp	Mon Oct 28 11:24:11 2019 +0100
+++ b/src/hotspot/os/windows/os_windows.cpp	Mon Oct 28 11:26:00 2019 +0100
@@ -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