Symbol: MSR_TSC_AUX
sys/amd64/amd64/initcpu.c
361
wrmsr(MSR_TSC_AUX, cpu_auxmsr());
sys/amd64/vmm/intel/vmx.c
1117
((cap_rdpid || cap_rdtscp) && guest_msr_ro(vmx, MSR_TSC_AUX)))
sys/amd64/vmm/intel/vmx_msr.c
361
wrmsr(MSR_TSC_AUX, guest_tsc_aux);
sys/amd64/vmm/intel/vmx_msr.c
398
wrmsr(MSR_TSC_AUX, host_aux);
sys/amd64/vmm/intel/vmx_msr.c
494
case MSR_TSC_AUX:
sys/i386/i386/initcpu.c
771
wrmsr(MSR_TSC_AUX, cpu_auxmsr());