MSR_F10H_DE_CFG - Haiku

Symbol: MSR_F10H_DE_CFG

src/system/kernel/arch/x86/64/errata.cpp

x86_write_msr(MSR_F10H_DE_CFG, x86_read_msr(MSR_F10H_DE_CFG) | (1 << 9));

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

uint64 value = x86_read_msr(MSR_F10H_DE_CFG);

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

x86_write_msr(MSR_F10H_DE_CFG, value | DE_CFG_SERIALIZE_LFENCE);