pt_enumerate_cpus
if ((g_ncpus = g_ncpus_observed = pt_enumerate_cpus()) == 0)
extern uint_t pt_enumerate_cpus(void);