Searched refs:guest_cpuid_model (Results 1 – 2 of 2) sorted by relevance
139 static inline int guest_cpuid_model(struct kvm_vcpu *vcpu) in guest_cpuid_model() function152 return boot_cpu_data.x86_model == guest_cpuid_model(vcpu); in cpuid_model_is_consistent()
2798 model = guest_cpuid_model(vcpu); in svm_get_msr()