kinfo_get_cpus
int kinfo_get_cpus(int *);
if ( kinfo_get_cpus(&numcpus) )
if (kinfo_get_cpus(&vmm_ncpus))
if (kinfo_get_cpus(&ncpu))
if (kinfo_get_cpus(&n_cpus))