MSR_P4_TBPU_ESCR0  811 arch/x86/include/asm/msr-index.h #define MSR_P4_TBPU_ESCR0		0x000003c2
MSR_P4_TBPU_ESCR0 1036 tools/testing/selftests/kvm/include/x86_64/processor.h #define MSR_P4_TBPU_ESCR0		0x000003c2