Searched defs: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
398 uint64_t guest_tsc_aux = vmx->guest_msrs[vcpuid][IDX_MSR_TSC_AUX]; local

Completed in 46 milliseconds