Searched refs:xen_physcpu_chipid (Results 1 – 4 of 4) sorted by relevance
133 extern id_t xen_physcpu_chipid(xen_mc_lcpu_cookie_t);
1151 if (xen_physcpu_chipid(cpi) == chipid && in cpu_search()1283 hdl->cmih_procnodeid = xen_physcpu_chipid((xen_mc_lcpu_cookie_t)priv); in cmi_hdl_create()
1658 xen_physcpu_chipid(cpi), xen_physcpu_coreid(cpi), in startup_modules()
1259 xen_physcpu_chipid(xen_mc_lcpu_cookie_t cookie) in xen_physcpu_chipid() function