tavor_soft_state_fini
static void tavor_soft_state_fini(tavor_state_t *state);
tavor_soft_state_fini(state);