Searched refs:tsc_reg (Results 1 – 1 of 1) sorted by relevance
324 WHV_REGISTER_NAME tsc_reg = WHvX64RegisterTsc; in whpx_set_tsc() local349 whpx->partition, cpu->cpu_index, &tsc_reg, 1, &tsc_val); in whpx_set_tsc()558 WHV_REGISTER_NAME tsc_reg = WHvX64RegisterTsc; in whpx_get_tsc() local564 whpx->partition, cpu->cpu_index, &tsc_reg, 1, &tsc_val); in whpx_get_tsc()