MSR_IA32_MCG_EXT_CTL  133 arch/x86/include/asm/msr-index.h #define MSR_IA32_MCG_EXT_CTL		0x000004d0
MSR_IA32_MCG_EXT_CTL  400 tools/testing/selftests/kvm/include/x86_64/processor.h #define MSR_IA32_MCG_EXT_CTL		0x000004d0