Remove get_num_cpus which is no longer used

Author: rocallahan

src/util.cc

@@ -1916,15 +1916,6 @@ vector<string> current_env() {
   return env;
 }
 
-int get_num_cpus() {
-  cpu_set_t affinity_mask;
-  int ret = sched_getaffinity(0, sizeof(affinity_mask), &affinity_mask);
-  if (ret < 0) {
-    FATAL() << "sched_getaffinity failed";
-  }
-  return CPU_COUNT(&affinity_mask);
-}
-
 const uint8_t rdtsc_insn[2] = { 0x0f, 0x31 };
 
 static const uint8_t rdtscp_insn[] = { 0x0f, 0x01, 0xf9 };

src/util.h

@@ -479,14 +479,6 @@ void good_random(void* out, size_t out_len);
 
 std::vector<std::string> current_env();
 
-/**
- * Returns the number of CPUs online. This is useful for sizing a thread
- * pool.
- * We might see CPUs with an index >= this value, so this is not useful
- * for comparing with CPU indices.
- */
-int get_num_cpus();
-
 enum class SpecialInstOpcode {
   NONE,
   ARM_MRS_CNTFRQ_EL0,