MSR_AMD64_IBS_REG_COUNT_MAX  436 arch/x86/include/asm/msr-index.h #define MSR_AMD64_IBS_REG_COUNT_MAX	8 /* includes MSR_AMD64_IBSBRTARGET */
MSR_AMD64_IBS_REG_COUNT_MAX  656 tools/testing/selftests/kvm/include/x86_64/processor.h #define MSR_AMD64_IBS_REG_COUNT_MAX	8 /* includes MSR_AMD64_IBSBRTARGET */