--- old/src/hotspot/os/bsd/os_bsd.cpp	2019-11-21 11:51:58.745767293 +0100
+++ new/src/hotspot/os/bsd/os_bsd.cpp	2019-11-21 11:51:58.313760235 +0100
@@ -3264,7 +3264,7 @@
 
   while (processor_id < 0) {
     if (Atomic::cmpxchg(-2, &mapping[apic_id], -1)) {
-      Atomic::store(Atomic::add(1, &next_processor_id) - 1, &mapping[apic_id]);
+      Atomic::store(&mapping[apic_id], Atomic::add(1, &next_processor_id) - 1);
     }
     processor_id = Atomic::load(&mapping[apic_id]);
   }