Searched refs:syscpuids (Results 1 – 1 of 1) sorted by relevance
666 cpuid_t *syscpuids, *newcpuids; in cpu_cap_request() local674 if (syscpus(&syscpuids, &sysncpus) == -1) in cpu_cap_request()695 if (rcm->cpus[k] == syscpuids[i]) { in cpu_cap_request()700 newcpuids[j++] = syscpuids[i]; in cpu_cap_request()706 nvlist_add_int32_array(nvl, "old_cpu_list", syscpuids, in cpu_cap_request()718 dprintf((stderr, "old_cpu_list[%d]=%d\n", i, syscpuids[i])); in cpu_cap_request()732 s_free(syscpuids); in cpu_cap_request()