tavor_ioctl_flash_cleanup
(void (*)(void *))tavor_ioctl_flash_cleanup, state);
static void tavor_ioctl_flash_cleanup(tavor_state_t *state);