MSR_F10H_DECFG    485 arch/x86/include/asm/msr-index.h #define MSR_F10H_DECFG			0xc0011029
MSR_F10H_DECFG    688 tools/testing/selftests/kvm/include/x86_64/processor.h #define MSR_F10H_DECFG			0xc0011029