Searched refs:xen_physcpu_coreid (Results 1 – 4 of 4) sorted by relevance
134 extern id_t xen_physcpu_coreid(xen_mc_lcpu_cookie_t);
1245 xen_physcpu_coreid(xen_mc_lcpu_cookie_t cookie) in xen_physcpu_coreid() function
1211 xen_physcpu_coreid(cpi) == coreid && in cpu_search()
1666 xen_physcpu_chipid(cpi), xen_physcpu_coreid(cpi), in startup_modules()