Searched defs:host_aux (Results 1 – 1 of 1) sorted by relevance
358 uint32_t host_aux = cpu_auxmsr(); in vmx_msr_guest_enter_tsc_aux() local388 uint32_t host_aux = cpu_auxmsr(); in vmx_msr_guest_exit_tsc_aux() local