xen_get_mc_physcpuinfo
xen_get_mc_physcpuinfo(NULL, &xen_phys_ncpus) != 0) {
if (xen_get_mc_physcpuinfo(xen_phys_cpus, &xen_phys_ncpus) != 0) {
extern int xen_get_mc_physcpuinfo(xen_mc_logical_cpu_t *, uint_t *);