Symbol: VCPU_TD_STATE_INITIALIZED
arch/x86/kvm/vmx/tdx.c
3096
tdx->state = VCPU_TD_STATE_INITIALIZED;
arch/x86/kvm/vmx/tdx.c
3167
if (tdx->state != VCPU_TD_STATE_INITIALIZED)
arch/x86/kvm/vmx/tdx.c
878
KVM_BUG_ON(tdx->state == VCPU_TD_STATE_INITIALIZED, vcpu->kvm);
arch/x86/kvm/vmx/tdx.c
910
if (unlikely(to_tdx(vcpu)->state != VCPU_TD_STATE_INITIALIZED ||