ufs_failure_states_t
set_state(ufs_failure_t *f, ufs_failure_states_t new_state)
get_state_desc(ufs_failure_states_t state)
sf_undef(ufs_failure_t *f, ufsa_t a, ufs_failure_states_t s)
ufs_failure_states_t s)
ufs_failure_states_t s)
sf_nonterm_cmn(ufs_failure_t *f, ufsa_t a, ufs_failure_states_t s)
sf_found_lock_fix_cmn(ufs_failure_t *f, ufs_failure_states_t s)
sf_term_cmn(ufs_failure_t *f, ufsa_t a, ufs_failure_states_t s)
sfrc_t (*ud_sfp)(ufs_failure_t *, ufsa_t, ufs_failure_states_t);
ufs_failure_states_t s)
ufs_failure_states_t ud_prev; /* valid prev. states */
ufs_failure_states_t ignored)
state_trans_valid(ufs_failure_states_t from, ufs_failure_states_t to)
terminal_state(ufs_failure_states_t state)
ufs_failure_states_t s;
ufs_failure_states_t state;
static sfrc_t set_state(ufs_failure_t *, ufs_failure_states_t);
static int state_trans_valid(ufs_failure_states_t, ufs_failure_states_t);
static int terminal_state(ufs_failure_states_t);
static sfrc_t sf_minimum(ufs_failure_t *, ufsa_t, ufs_failure_states_t);
static sfrc_t sf_undef(ufs_failure_t *, ufsa_t, ufs_failure_states_t);
state_name(ufs_failure_states_t state)
static sfrc_t sf_init(ufs_failure_t *, ufsa_t, ufs_failure_states_t);
static sfrc_t sf_queue(ufs_failure_t *, ufsa_t, ufs_failure_states_t);
static sfrc_t sf_nonterm_cmn(ufs_failure_t *, ufsa_t, ufs_failure_states_t);
static sfrc_t sf_term_cmn(ufs_failure_t *, ufsa_t, ufs_failure_states_t);
static sfrc_t sf_panic(ufs_failure_t *, ufsa_t, ufs_failure_states_t);
static sfrc_t sf_found_lock_fix_cmn(ufs_failure_t *, ufs_failure_states_t);
static ufsd_t *get_state_desc(ufs_failure_states_t);
static char *state_name(ufs_failure_states_t);
ufs_failure_states_t uf_s; /* current failure state */