nested_guest_cr0_valid
if (CC(!nested_guest_cr0_valid(vcpu, vmcs12->guest_cr0)) ||
return nested_guest_cr0_valid(vcpu, cr0);