MSR_IA32_SMBASE
if (!kvm_x86_call(has_emulated_msr)(vcpu->kvm, MSR_IA32_SMBASE))
case MSR_IA32_SMBASE:
if (CC(e->index == MSR_IA32_SMBASE) || /* SMM is not supported */
case MSR_IA32_SMBASE:
case MSR_IA32_SMBASE:
MSR_IA32_SMBASE,
case MSR_IA32_SMBASE:
r = kvm_x86_call(has_emulated_msr)(kvm, MSR_IA32_SMBASE);
vcpu_set_msr(vcpu, MSR_IA32_SMBASE, smram_gpa);