Searched refs:guest_tsc_aux (Results 1 – 1 of 1) sorted by relevance
367 uint64_t guest_tsc_aux = vmx->guest_msrs[vcpuid][IDX_MSR_TSC_AUX]; in vmx_msr_guest_enter_tsc_aux() local370 if (vmx_have_msr_tsc_aux(vmx) && guest_tsc_aux != host_aux) in vmx_msr_guest_enter_tsc_aux()371 wrmsr(MSR_TSC_AUX, guest_tsc_aux); in vmx_msr_guest_enter_tsc_aux()398 uint64_t guest_tsc_aux = vmx->guest_msrs[vcpuid][IDX_MSR_TSC_AUX]; in vmx_msr_guest_exit_tsc_aux() local401 if (vmx_have_msr_tsc_aux(vmx) && guest_tsc_aux != host_aux) in vmx_msr_guest_exit_tsc_aux()