HDLPRIV
return (xen_physcpu_logical_id(HDLPRIV(hdl)));
*valp = xen_physcpu_mcg_cap(HDLPRIV(hdl));
mci->mcinj_cpunr = xen_physcpu_logical_id(HDLPRIV(hdl));
mce->mceinj_cpunr = xen_physcpu_logical_id(HDLPRIV(hdl));
xs.u.cpu_hotplug.cpu = xen_physcpu_logical_id(HDLPRIV(hdl));
cpu_t *cp = HDLPRIV(thdl);
return (cpuid_getvendor(HDLPRIV(hdl)));
return (cpuid_getvendorstr(HDLPRIV(hdl)));
return (cpuid_getfamily(HDLPRIV(hdl)));
return (cpuid_getmodel(HDLPRIV(hdl)));
return (cpuid_getstep(HDLPRIV(hdl)));
return (cpuid_get_apicid(HDLPRIV(hdl)));
return (cpuid_getchiprev(HDLPRIV(hdl)));
return (cpuid_getchiprevstr(HDLPRIV(hdl)));
return (cpuid_getsockettype(HDLPRIV(hdl)));
return (cpuid_getsocketstr(HDLPRIV(hdl)));
return (cpuid_getsig(HDLPRIV(hdl)));
int ret = cpuid_getncaches(HDLPRIV(hdl), ncache);
int ret = cpuid_getcache(HDLPRIV(hdl), cno, cachep);
return (HDLPRIV(hdl)->cpu_id);
cpu_t *cp = HDLPRIV(hdl);
cpu_t *cp = HDLPRIV(hdl);
cpu_t *cp = HDLPRIV(hdl);
cpu_t *cp = HDLPRIV(hdl);
cpu_t *cp = HDLPRIV(hdl);
processorid_t cpuid = HDLPRIV(hdl)->cpu_id;
HDLPRIV(hdl))));
return (xen_physcpu_vendorstr(HDLPRIV(hdl)));
return (xen_physcpu_family(HDLPRIV(hdl)));
return (xen_physcpu_model(HDLPRIV(hdl)));
return (xen_physcpu_stepping(HDLPRIV(hdl)));
return (xen_physcpu_initial_apicid(HDLPRIV(hdl)));