kvm_has_mirrored_tdp
if (kvm_has_mirrored_tdp(vcpu->kvm) &&
if (kvm_has_mirrored_tdp(vcpu->kvm)) {
if (!kvm_has_mirrored_tdp(kvm))