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

/freebsd-12-stable/sys/amd64/vmm/intel/
H A Dvmx_msr.c368 uint32_t host_aux = cpu_auxmsr(); local
370 if (vmx_have_msr_tsc_aux(vmx) && guest_tsc_aux != host_aux)
399 uint32_t host_aux = cpu_auxmsr(); local
401 if (vmx_have_msr_tsc_aux(vmx) && guest_tsc_aux != host_aux)
409 wrmsr(MSR_TSC_AUX, host_aux);

Completed in 134 milliseconds