Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/sfc/falcon/falcon.c falcon_spi_cmd() -> falcon_spi_poll()

Type Parameter Key Value
PARAM_VALUE 0 efx->net_dev->rtnl_link_ops->priv_size 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3544,3720,9688-u64max
PARAM_VALUE 0 efx->pci_dev->bus->self->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 0 efx->pci_dev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 efx->pci_dev->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 efx->pci_dev->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 efx->pci_dev->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 efx->pci_dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 efx->pci_dev->driver->sriov_get_vf_total_msix 0,3629692746472820736,6488395192013627392
PARAM_VALUE 0 efx->pci_dev->driver->sriov_set_msix_vec_count 0,1923382970702811136,7848935108349911040
PARAM_VALUE 0 efx->pci_dev->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 0 efx->pci_dev->p2pdma->p2pmem_published 0-1
PARAM_VALUE 0 efx->pci_dev->subordinate->self->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 0 efx->type->max_dma_mask 70368744177663
PARAM_VALUE 0 efx->type->max_interrupt_mode 0-1
PARAM_VALUE 0 efx->type->mem_bar 2
PARAM_VALUE 0 efx->type->mem_map_size 4096-ptr_max
PARAM_VALUE 0 efx->type->revision 1-2
PARAM_VALUE 0 efx->type->rx_prefix_size 0,16
PARAM_VALUE 0 efx->type->test_nvram 8620005546470490112
PARAM_VALUE 0 *efx->pci_dev->saved_config_space 0-4294967295
BUF_SIZE 0 efx s32min-(-1),1-s32max
BUF_SIZE 0 efx s32min-(-1),1-s32max
BUF_SIZE 0 efx->nic_data (-1),3304
DATA_SOURCE 0 efx $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 efx->pci_dev->bus->bridge_ctl 0-u16max
HOST_DATA 0 efx->pci_dev->current_state 0-3[c]
HOST_DATA 0 efx->pci_dev->pcie_flags_reg 0-u16max
UNITS 0 efx unit_byte
LOCK2 &nic_data->spi_lock
TYPE_LOCK (struct falcon_nic_data)->spi_lock

drivers/net/ethernet/sfc/falcon/falcon.c falcon_spi_wait() -> falcon_spi_poll()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 0 efx->biu_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 efx->pci_dev->bus->self->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 0 efx->pci_dev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 efx->pci_dev->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 efx->pci_dev->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 efx->pci_dev->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 efx->pci_dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 efx->pci_dev->driver->sriov_get_vf_total_msix 0,3629692746472820736,6488395192013627392
PARAM_VALUE 0 efx->pci_dev->driver->sriov_set_msix_vec_count 0,1923382970702811136,7848935108349911040
PARAM_VALUE 0 efx->pci_dev->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 0 efx->pci_dev->p2pdma->p2pmem_published 0-1
PARAM_VALUE 0 efx->pci_dev->subordinate->self->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 0 efx->type->max_dma_mask 70368744177663
PARAM_VALUE 0 efx->type->max_interrupt_mode 0-1
PARAM_VALUE 0 efx->type->mem_bar 2
PARAM_VALUE 0 efx->type->mem_map_size 4096-ptr_max
PARAM_VALUE 0 efx->type->revision 1-2
PARAM_VALUE 0 efx->type->rx_prefix_size 0,16
PARAM_VALUE 0 efx->type->test_nvram 8620005546470490112
PARAM_VALUE 0 *efx->pci_dev->saved_config_space 0-4294967295
BUF_SIZE 0 efx s32min-(-1),1-s32max
BUF_SIZE 0 efx s32min-(-1),1-s32max
BUF_SIZE 0 efx->nic_data (-1),3304
DATA_SOURCE 0 efx $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 efx->pci_dev->bus->bridge_ctl 0-u16max
HOST_DATA 0 efx->pci_dev->current_state 0-3[c]
HOST_DATA 0 efx->pci_dev->pcie_flags_reg 0-u16max
UNITS 0 efx unit_byte
LOCK2 &nic_data->spi_lock
TYPE_LOCK (struct falcon_nic_data)->spi_lock

drivers/net/ethernet/sfc/falcon/falcon.c falcon_spi_wait() -> falcon_spi_poll()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 0 efx->biu_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 efx->pci_dev->bus->self->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 0 efx->pci_dev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 efx->pci_dev->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 efx->pci_dev->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 efx->pci_dev->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 efx->pci_dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 efx->pci_dev->driver->sriov_get_vf_total_msix 0,3629692746472820736,6488395192013627392
PARAM_VALUE 0 efx->pci_dev->driver->sriov_set_msix_vec_count 0,1923382970702811136,7848935108349911040
PARAM_VALUE 0 efx->pci_dev->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 0 efx->pci_dev->p2pdma->p2pmem_published 0-1
PARAM_VALUE 0 efx->pci_dev->subordinate->self->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 0 efx->type->max_dma_mask 70368744177663
PARAM_VALUE 0 efx->type->max_interrupt_mode 0-1
PARAM_VALUE 0 efx->type->mem_bar 2
PARAM_VALUE 0 efx->type->mem_map_size 4096-ptr_max
PARAM_VALUE 0 efx->type->revision 1-2
PARAM_VALUE 0 efx->type->rx_prefix_size 0,16
PARAM_VALUE 0 efx->type->test_nvram 8620005546470490112
PARAM_VALUE 0 *efx->pci_dev->saved_config_space 0-4294967295
BUF_SIZE 0 efx s32min-(-1),1-s32max
BUF_SIZE 0 efx s32min-(-1),1-s32max
BUF_SIZE 0 efx->nic_data (-1),3304
DATA_SOURCE 0 efx $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 efx->pci_dev->bus->bridge_ctl 0-u16max
HOST_DATA 0 efx->pci_dev->current_state 0-3[c]
HOST_DATA 0 efx->pci_dev->pcie_flags_reg 0-u16max
UNITS 0 efx unit_byte
LOCK2 &nic_data->spi_lock
TYPE_LOCK (struct falcon_nic_data)->spi_lock