guest_cpuid_is_amd_compatible
return !guest_cpuid_is_amd_compatible(vcpu);
guest_cpuid_is_amd_compatible(vcpu));
if (guest_cpuid_is_amd_compatible(vcpu))