MSR_F15H_EX_CFG  2705 arch/x86/kvm/x86.c 	case MSR_F15H_EX_CFG:
MSR_F15H_EX_CFG  3010 arch/x86/kvm/x86.c 	case MSR_F15H_EX_CFG: