Searched refs:IDX_MSR_TSC_AUX (Results 1 – 2 of 2) sorted by relevance
367 uint64_t guest_tsc_aux = vmx->guest_msrs[vcpuid][IDX_MSR_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()511 guest_msrs[IDX_MSR_TSC_AUX] = val; in vmx_wrmsr()
120 IDX_MSR_TSC_AUX, enumerator