Searched refs:xen_physcpu_mcg_cap (Results 1 – 3 of 3) sorted by relevance
139 extern uint64_t xen_physcpu_mcg_cap(xen_mc_lcpu_cookie_t);
1275 xen_physcpu_mcg_cap(xen_mc_lcpu_cookie_t cookie) in xen_physcpu_mcg_cap() function
1070 *valp = xen_physcpu_mcg_cap(HDLPRIV(hdl)); in xpv_rdmsr()