INFORM_SENT
case INFORM_SENT:
if (!set_smach_state(dsmp, INFORM_SENT))
if (dsmp->dsm_state == INFORM_SENT || dsmp->dsm_state == INFORMATION)
if (dsmp->dsm_state != INFORM_SENT &&
dsmp->dsm_state != INFORM_SENT) {
case INFORM_SENT:
if (dsmp->dsm_state == INFORM_SENT) {
state == RELEASING || state == INFORM_SENT || state == RENEWING);