Searched refs:mc_step (Results 1 – 2 of 2) sorted by relevance
270 uint32_t mc_step; member
1255 return (COOKIE2XCP(cookie)->mc_step); in xen_physcpu_stepping()