xpv_nr_phys_cpus
xdt_ncpus = xpv_nr_phys_cpus();
ASSERT(xdt_ncpus == xpv_nr_phys_cpus());
if (xpv_nr_phys_cpus() < 4)
xpv_nr_phys_cpus() > 1) ||
if (xpv_nr_phys_cpus() > 1)
if (!opteron_erratum_122 && xpv_nr_phys_cpus() == 1)
extern uint_t xpv_nr_phys_cpus(void);