arch/x86/kvm/vmx/tdx.c

1777

if (KVM_BUG_ON(is_hkid_assigned(kvm_tdx), kvm))

arch/x86/kvm/vmx/tdx.c

1803

if (KVM_BUG_ON(!is_hkid_assigned(to_kvm_tdx(kvm)), kvm))

arch/x86/kvm/vmx/tdx.c

2817

if (!is_hkid_assigned(kvm_tdx) || kvm_tdx->state == TD_STATE_RUNNABLE)

arch/x86/kvm/vmx/tdx.c

3238

if (!is_hkid_assigned(kvm_tdx) || kvm_tdx->state == TD_STATE_RUNNABLE)

arch/x86/kvm/vmx/tdx.c

3266

if (!is_hkid_assigned(kvm_tdx) || kvm_tdx->state == TD_STATE_RUNNABLE)

arch/x86/kvm/vmx/tdx.c

501

if (!is_hkid_assigned(kvm_tdx))

arch/x86/kvm/vmx/tdx.c

575

if (is_hkid_assigned(kvm_tdx))

arch/x86/kvm/vmx/tdx.c

728

if (vcpu->cpu == cpu || !is_hkid_assigned(to_kvm_tdx(vcpu->kvm)))

arch/x86/kvm/vmx/tdx.c

888

if (is_hkid_assigned(kvm_tdx))