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