Home
last modified time | relevance | path

Searched refs:tsc_reg (Results 1 – 1 of 1) sorted by relevance

/openbmc/qemu/target/i386/whpx/
H A Dwhpx-all.c324 WHV_REGISTER_NAME tsc_reg = WHvX64RegisterTsc; in whpx_set_tsc() local
349 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() local
564 whpx->partition, cpu->cpu_index, &tsc_reg, 1, &tsc_val); in whpx_get_tsc()