Searched refs:mcinj_cpunr (Results 1 – 2 of 2) sorted by relevance
391 uint32_t mcinj_cpunr; /* target processor id */ member
1048 mci->mcinj_cpunr = xen_physcpu_logical_id(HDLPRIV(hdl)); in xpv_wrmsr_cmn()