Symbol: tavor_flash_write_sector
usr/src/uts/common/io/ib/adapters/tavor/tavor_ioctl.c
390
status = tavor_flash_write_sector(state,
usr/src/uts/common/io/ib/adapters/tavor/tavor_ioctl.c
82
static int tavor_flash_write_sector(tavor_state_t *state, uint32_t sector_num);