Searched defs:tsc_reg (Results 1 – 1 of 1) sorted by relevance
324 WHV_REGISTER_NAME tsc_reg = WHvX64RegisterTsc; in whpx_set_tsc() local558 WHV_REGISTER_NAME tsc_reg = WHvX64RegisterTsc; in whpx_get_tsc() local