sys/arch/x86/acpi/acpi_cpu_md.c

451

val = rdmsr(MSR_MISC_ENABLE);

sys/arch/x86/acpi/acpi_cpu_md.c

456

wrmsr(MSR_MISC_ENABLE, val);

sys/arch/x86/acpi/acpi_cpu_md.c

457

val = rdmsr(MSR_MISC_ENABLE);

sys/arch/x86/x86/identcpu.c

1002

(rdmsr(MSR_MISC_ENABLE) & (1 << 3)) == 0) {

sys/arch/x86/x86/identcpu.c

1004

wrmsr(MSR_MISC_ENABLE, rdmsr(MSR_MISC_ENABLE) | (1<<3));

sys/arch/x86/x86/identcpu.c

171

wrmsr(MSR_MISC_ENABLE,

sys/arch/x86/x86/identcpu.c

172

rdmsr(MSR_MISC_ENABLE) & ~IA32_MISC_MWAIT_EN);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1905

if (exit->u.rdmsr.msr == MSR_MISC_ENABLE) {

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1951

if (exit->u.wrmsr.msr == MSR_MISC_ENABLE) {

sys/dev/nvmm/x86/nvmm_x86_vmx.c

3174

cpudata->gmsr_misc_enable = rdmsr(MSR_MISC_ENABLE);