tavor_flash_bank
tavor_flash_bank(state, addr);
tavor_flash_bank(state, addr);
tavor_flash_bank(state, addr);
tavor_flash_bank(state, 0);
tavor_flash_bank(state, ioctl_info.tf_addr);
static void tavor_flash_bank(tavor_state_t *state, uint32_t addr);