Searched refs:cpu_auxmsr (Results 1 – 4 of 4) sorted by relevance
244 cpu_auxmsr(void) in cpu_auxmsr() function316 wrmsr(MSR_TSC_AUX, cpu_auxmsr()); in initializecpu()
368 uint32_t host_aux = cpu_auxmsr(); in vmx_msr_guest_enter_tsc_aux()399 uint32_t host_aux = cpu_auxmsr(); in vmx_msr_guest_exit_tsc_aux()
117 u_int cpu_auxmsr(void);
635 cpu_auxmsr(void) in cpu_auxmsr() function773 wrmsr(MSR_TSC_AUX, cpu_auxmsr()); in initializecpu()