cpuid_model_is_consistent
return cpuid_model_is_consistent(vcpu);
if (!cpuid_model_is_consistent(vcpu))