nested_host_cr4_valid
CC(!nested_host_cr4_valid(vcpu, vmcs12->host_cr4)) ||
!nested_host_cr4_valid(vcpu, kvm_read_cr4(vcpu))) {