kvm_smm_changed  3825 arch/x86/kvm/x86.c static void kvm_smm_changed(struct kvm_vcpu *vcpu);
kvm_smm_changed  3890 arch/x86/kvm/x86.c 			kvm_smm_changed(vcpu);
kvm_smm_changed  6274 arch/x86/kvm/x86.c 	kvm_smm_changed(emul_to_vcpu(ctxt));