COOKIE2XCP
xen_mc_logical_cpu_t *xcp = COOKIE2XCP(cookie);
return (COOKIE2XCP(cookie)->mc_family);
return (COOKIE2XCP(cookie)->mc_model);
return (COOKIE2XCP(cookie)->mc_step);
return (COOKIE2XCP(cookie)->mc_chipid);
return (COOKIE2XCP(cookie)->mc_coreid);
return (COOKIE2XCP(cookie)->mc_threadid);
return (COOKIE2XCP(cookie)->mc_clusterid);
return (COOKIE2XCP(cookie)->mc_cpunr);
return (COOKIE2XCP(cookie)->mc_nthreads > 1);
xen_mc_logical_cpu_t *xcp = COOKIE2XCP(cookie);