Searched refs:num_cpus_ (Results 1 – 2 of 2) sorted by relevance
68 num_cpus_ = 0; in OsLayer()96 if (num_cpus_ == 0) { in Initialize()98 num_cpus_ = sysconf(_SC_NPROCESSORS_ONLN); in Initialize()99 num_cpus_per_node_ = num_cpus_ / num_nodes_; in Initialize()101 logprintf(5, "Log: %d nodes, %d cpus.\n", num_nodes_, num_cpus_); in Initialize()102 sat_assert(CPU_SETSIZE >= num_cpus_); in Initialize()
228 int num_cpus() const { return num_cpus_; } in num_cpus()266 int num_cpus_; // Number of cpus in the system. variable