tavor_sw_reset
status = tavor_sw_reset(state);
if (tavor_sw_reset(state) != DDI_SUCCESS) {
static int tavor_sw_reset(tavor_state_t *state);