Searched refs:guest_tsc_aux (Results 1 – 1 of 1) sorted by relevance
357 uint64_t guest_tsc_aux = vcpu->guest_msrs[IDX_MSR_TSC_AUX]; in vmx_msr_guest_enter_tsc_aux() local360 if (vmx_have_msr_tsc_aux && guest_tsc_aux != host_aux) in vmx_msr_guest_enter_tsc_aux()361 wrmsr(MSR_TSC_AUX, guest_tsc_aux); in vmx_msr_guest_enter_tsc_aux()387 uint64_t guest_tsc_aux = vcpu->guest_msrs[IDX_MSR_TSC_AUX]; in vmx_msr_guest_exit_tsc_aux() local390 if (vmx_have_msr_tsc_aux && guest_tsc_aux != host_aux) in vmx_msr_guest_exit_tsc_aux()