is_hkid_assigned
if (KVM_BUG_ON(is_hkid_assigned(kvm_tdx), kvm))
if (KVM_BUG_ON(!is_hkid_assigned(to_kvm_tdx(kvm)), kvm))
if (!is_hkid_assigned(kvm_tdx) || kvm_tdx->state == TD_STATE_RUNNABLE)
if (!is_hkid_assigned(kvm_tdx) || kvm_tdx->state == TD_STATE_RUNNABLE)
if (!is_hkid_assigned(kvm_tdx) || kvm_tdx->state == TD_STATE_RUNNABLE)
if (!is_hkid_assigned(kvm_tdx))
if (is_hkid_assigned(kvm_tdx))
if (vcpu->cpu == cpu || !is_hkid_assigned(to_kvm_tdx(vcpu->kvm)))
if (is_hkid_assigned(kvm_tdx))