tavor_intr_or_msi_fini
status = tavor_intr_or_msi_fini(state);
static int tavor_intr_or_msi_fini(tavor_state_t *state);