Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/sfc/efx_reflash.c efx_reflash_flash_firmware() -> efx_reflash_write_partition()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 0 efx->devlink 4096-ptr_max
PARAM_VALUE 0 efx->mc_bist_for_other_fn 0
PARAM_VALUE 0 efx->mcdi->iface.resp_hdr_len 0,4,8
PARAM_VALUE 0 efx->pci_dev->link_bwctrl->cdev 0,4096-s64max
PARAM_VALUE 0 efx->reflash_mutex.dep_map->name 0-255
PARAM_VALUE 0 efx->reflash_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 efx->reflash_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 efx->reflash_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 efx->reflash_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 efx->reflash_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 efx->reflash_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 efx->reset_work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 efx->type 4096-ptr_max
PARAM_VALUE 0 *efx->net_dev->name 0-255
PARAM_VALUE 0 *efx->nic_data->mcdi_buf.addr 0-255
PARAM_VALUE 1 extack 0,4971238048455385088
PARAM_VALUE 2 devlink 4096-ptr_max
PARAM_VALUE 5 data_size 0-u32max
PARAM_VALUE 6 align 1-u32max
BUF_SIZE 4 data (-1),1-s32max
BUF_SIZE 4 data (-1),1-s32max
CAPPED_DATA 0 &efx->reflash_mutex 1
CAPPED_DATA 5 data_size 1
CAPPED_DATA 5 data_size 1
DATA_SOURCE 0 efx $0
DATA_SOURCE 1 extack $2
RX_PATH
TASK_NOT_RUNNING
UNITS 4 data unit_byte
UNITS 5 data_size unit_byte
LOCK2 0 &efx->reflash_mutex
HALF_LOCKED2 &devlink->lock
TYPE_LOCK (struct efx_nic)->reflash_mutex