tavor_flash_read
image[i] = tavor_flash_read(state, addr);
*data = tavor_flash_read(state, addr);
stat = tavor_flash_read(state, addr & ~3);
stat = tavor_flash_read(state, addr & ~3);
stat = tavor_flash_read(state, addr);
stat = tavor_flash_read(state, addr & ~3);
stat = tavor_flash_read(state, 0);
data = tavor_flash_read(state, i);
static uint32_t tavor_flash_read(tavor_state_t *state, uint32_t addr);