MSR_IDT_MCR4      539 arch/x86/include/asm/msr-index.h #define MSR_IDT_MCR4			0x00000114
MSR_IDT_MCR4      740 tools/testing/selftests/kvm/include/x86_64/processor.h #define MSR_IDT_MCR4			0x00000114