RENEWING
case RENEWING:
if (dsmp->dsm_state == RENEWING ||
timeout_ms = dsmp->dsm_state == RENEWING ?
dsmp->dsm_state == RENEWING || dsmp->dsm_state == REBINDING) {
(void) set_smach_state(dsmp, RENEWING);
if (dsmp->dsm_state == RENEWING) {
if (dsmp->dsm_state == RENEWING) {
if (dsmp->dsm_state == RENEWING || dsmp->dsm_state == REBINDING) {
if ((dsmp->dsm_state == RENEWING ||
case RENEWING:
if (dsmp->dsm_state == BOUND || dsmp->dsm_state == RENEWING ||
dsmp->dsm_state != RENEWING &&
state == RELEASING || state == INFORM_SENT || state == RENEWING);
case RENEWING: