Searched refs:guest_tsc_aux (Results 1 - 1 of 1) sorted by relevance

/freebsd-12-stable/sys/amd64/vmm/intel/
H A Dvmx_msr.c367 uint64_t guest_tsc_aux = vmx->guest_msrs[vcpuid][IDX_MSR_TSC_AUX]; local
370 if (vmx_have_msr_tsc_aux(vmx) && guest_tsc_aux != host_aux)
371 wrmsr(MSR_TSC_AUX, guest_tsc_aux);
398 uint64_t guest_tsc_aux = vmx->guest_msrs[vcpuid][IDX_MSR_TSC_AUX]; local
401 if (vmx_have_msr_tsc_aux(vmx) && guest_tsc_aux != host_aux)

Completed in 47 milliseconds