VCPU_TD_STATE_UNINITIALIZED
if (tdx->state != VCPU_TD_STATE_UNINITIALIZED)
if (to_tdx(vcpu)->state != VCPU_TD_STATE_UNINITIALIZED) {
tdx->state = VCPU_TD_STATE_UNINITIALIZED;