Symbol: guest_cpuid_model
arch/x86/kvm/cpuid.h
172
return boot_cpu_data.x86_model == guest_cpuid_model(vcpu);
arch/x86/kvm/svm/svm.c
2918
model = guest_cpuid_model(vcpu);