--- old/src/hotspot/os/bsd/os_bsd.cpp	2017-10-20 09:44:50.053849385 -0400
+++ new/src/hotspot/os/bsd/os_bsd.cpp	2017-10-20 09:44:48.885782770 -0400
@@ -3492,6 +3492,14 @@
 }
 
 int os::active_processor_count() {
+  // User has overridden the number of active processors
+  if (ActiveProcessorCount > 0) {
+    log_trace(os)("active_processor_count: "
+                  "active processor count set by user : %d",
+                  ActiveProcessorCount);
+    return ActiveProcessorCount;
+  }
+
   return _processor_count;
 }