terminal_state
if (f->uf_ufsvfsp == ufsvfsp && !terminal_state(f->uf_s) &&
ASSERT(terminal_state(f->uf_s) || f->uf_retry != 0);
!terminal_state(f->uf_vfs_ufsfxp->fx_current->uf_s);
ASSERT(!terminal_state(s));
ASSERT(terminal_state(s));
!terminal_state(
static int terminal_state(ufs_failure_states_t);
if (!terminal_state(f->uf_s) && must_unlock_failure) {
if (f->uf_ufsvfsp == ufsvfsp && !terminal_state(f->uf_s)) {