Searched defs: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() local387 uint64_t guest_tsc_aux = vcpu->guest_msrs[IDX_MSR_TSC_AUX]; in vmx_msr_guest_exit_tsc_aux() local