MSR_AMD64_IBSCTL  433 arch/x86/include/asm/msr-index.h #define MSR_AMD64_IBSCTL		0xc001103a
MSR_AMD64_IBSCTL  653 tools/testing/selftests/kvm/include/x86_64/processor.h #define MSR_AMD64_IBSCTL		0xc001103a