Symbol: IDX_MSR_TSC_AUX
sys/amd64/vmm/intel/vmx_msr.c
357
uint64_t guest_tsc_aux = vcpu->guest_msrs[IDX_MSR_TSC_AUX];
sys/amd64/vmm/intel/vmx_msr.c
387
uint64_t guest_tsc_aux = vcpu->guest_msrs[IDX_MSR_TSC_AUX];
sys/amd64/vmm/intel/vmx_msr.c
501
vcpu->guest_msrs[IDX_MSR_TSC_AUX] = val;