Searched refs:host_aux (Results 1 – 1 of 1) sorted by relevance
358 uint32_t host_aux = cpu_auxmsr(); 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()388 uint32_t host_aux = cpu_auxmsr(); 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()398 wrmsr(MSR_TSC_AUX, host_aux); in vmx_msr_guest_exit_tsc_aux()