MSR_AMD64_IBSOP_REG_COUNT  431 arch/x86/include/asm/msr-index.h #define MSR_AMD64_IBSOP_REG_COUNT	7
MSR_AMD64_IBSOP_REG_COUNT  651 tools/testing/selftests/kvm/include/x86_64/processor.h #define MSR_AMD64_IBSOP_REG_COUNT	7