K8_MSR_IPM - Haiku

Symbol: K8_MSR_IPM

src/system/kernel/arch/x86/arch_cpu.cpp

uint64 msr = x86_read_msr(K8_MSR_IPM);

src/system/kernel/arch/x86/arch_cpu.cpp

x86_write_msr(K8_MSR_IPM, msr & ~K8_CMPHALT);