FMD_CASE_SOLVED
if (cip->ci_state >= FMD_CASE_SOLVED) {
if (cip->ci_state >= FMD_CASE_SOLVED) {
fmd_case_transition(cp, FMD_CASE_SOLVED, FMD_CF_SOLVED);
return (fmd_case_instate(hdl, cp, FMD_CASE_SOLVED));
if (cip->ci_state >= FMD_CASE_SOLVED) {
case FMD_CASE_SOLVED:
ASSERT(cip->ci_state < FMD_CASE_SOLVED);
case FMD_CASE_SOLVED:
ASSERT(state >= FMD_CASE_SOLVED);
if (cip->ci_state < FMD_CASE_SOLVED) {
if (cstate < FMD_CASE_SOLVED) {
if (cstate < FMD_CASE_SOLVED) {
if (cip->ci_state >= FMD_CASE_SOLVED)
if (cip->ci_state < FMD_CASE_SOLVED || cip->ci_xprt != NULL)
ASSERT(cip->ci_state >= FMD_CASE_SOLVED);
ASSERT(cip->ci_state >= FMD_CASE_SOLVED);
fmd_case_transition(cp, FMD_CASE_SOLVED, FMD_CF_SOLVED);
fmd_case_transition_update(cp, FMD_CASE_SOLVED, FMD_CF_SOLVED);
case FMD_CASE_SOLVED:
case FMD_CASE_SOLVED:
fmd_case_transition(cp, FMD_CASE_SOLVED, FMD_CF_SOLVED);
fmd_case_transition(cp, FMD_CASE_SOLVED, FMD_CF_SOLVED);
if (cip->ci_state != FMD_CASE_SOLVED)
if (cip->ci_state != FMD_CASE_SOLVED)