tavor_flash_read_sector
tavor_flash_read_sector(state, ioctl_info.tf_sector_num);
static void tavor_flash_read_sector(tavor_state_t *state, uint32_t sector_num);