Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/ethernet/sfc/siena/nic.c efx_siena_get_regs() -> efx_reado_table()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 0 efx->type 4096-ptr_max
PARAM_VALUE 0 efx->type->revision 3-4
PARAM_VALUE 3 index 0-8191
BUF_SIZE 1 value (-1),1-s32max
CAPPED_DATA 0 efx->type->revision 1
CAPPED_DATA 3 index 1
DATA_SOURCE 0 efx $0
DATA_SOURCE 1 value $1 [m]
NOCHECK_CALL

drivers/net/ethernet/sfc/siena/nic.c efx_siena_get_regs() -> efx_reado_table()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 0 efx->type 4096-ptr_max
PARAM_VALUE 0 efx->type->revision 3-4
PARAM_VALUE 3 index 0-16382
BUF_SIZE 1 value (-1),1-s32max
CAPPED_DATA 0 efx->type->revision 1
CAPPED_DATA 3 index 1
DATA_SOURCE 0 efx $0
DATA_SOURCE 1 value $1 [m]
NOCHECK_CALL

drivers/net/ethernet/sfc/nic.c efx_nic_get_regs() -> efx_reado_table()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 0 efx->type 4096-ptr_max
PARAM_VALUE 0 efx->type->revision 3-4
PARAM_VALUE 3 index 0-8191
BUF_SIZE 0 efx 5888
BUF_SIZE 1 value (-1),1-s32max
CAPPED_DATA 0 efx->type->revision 1
CAPPED_DATA 3 index 1
DATA_SOURCE 0 efx $0
DATA_SOURCE 1 value $1 [m]
NOCHECK_CALL

drivers/net/ethernet/sfc/nic.c efx_nic_get_regs() -> efx_reado_table()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 0 efx->type 4096-ptr_max
PARAM_VALUE 0 efx->type->revision 3-4
PARAM_VALUE 3 index 0-16382
BUF_SIZE 0 efx 5888
BUF_SIZE 1 value (-1),1-s32max
CAPPED_DATA 0 efx->type->revision 1
CAPPED_DATA 3 index 1
DATA_SOURCE 0 efx $0
DATA_SOURCE 1 value $1 [m]
NOCHECK_CALL

drivers/net/ethernet/sfc/siena/farch.c efx_check_tx_flush_complete() -> efx_reado_table()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 0 efx->active_queues.counter s32min-(-1),1-s32max
PARAM_VALUE 0 efx->channel 4096-ptr_max
PARAM_VALUE 0 efx->filter_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 efx->filter_sem.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 efx->filter_sem.first_waiter->type 0-1
PARAM_VALUE 0 efx->filter_state->lock.first_waiter->handoff_set 1
PARAM_VALUE 0 efx->filter_state->lock.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 efx->filter_state->lock.first_waiter->type 0-1
PARAM_VALUE 0 efx->filter_state->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 efx->mac_lock.dep_map->name 0-255
PARAM_VALUE 0 efx->mac_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 efx->mac_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 efx->mac_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 efx->mac_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 efx->mac_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 efx->mac_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 efx->mac_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 efx->mac_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 efx->mcdi->hwmon.device->p->deferred_probe_reason 0-s64max
PARAM_VALUE 0 efx->mcdi->iface.proxy_rx_status (-114),(-105),(-98),(-95),(-71),(-62),(-38),(-35),(-28),(-22),(-16),(-13),(-11),(-4),(-2)-0
PARAM_VALUE 0 efx->mcdi->iface.resp_data_len 0-u32max
PARAM_VALUE 0 efx->mcdi->iface.resp_hdr_len 0,4,8
PARAM_VALUE 0 efx->mcdi->iface.resprc (-114),(-105),(-98),(-95),(-71),(-62),(-38),(-35),(-28),(-22),(-16),(-13),(-11),(-5)-(-4),(-2)-0
PARAM_VALUE 0 efx->net_dev 4096-ptr_max
PARAM_VALUE 0 efx->net_dev->addr_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 efx->net_dev->dev.iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 0 efx->net_dev->dev.p->dead 0-1
PARAM_VALUE 0 efx->net_dev->dev.p->deferred_probe_reason 0-s64max
PARAM_VALUE 0 efx->net_dev->linkwatch_dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 efx->net_dev->linkwatch_dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 efx->net_dev->queues_kset->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 efx->net_dev->queues_kset->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 efx->net_dev->queues_kset->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 efx->net_dev->tx_global_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 efx->pci_dev 4096-ptr_max
PARAM_VALUE 0 efx->pci_dev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 efx->pci_dev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 efx->pci_dev->dev.iommu_group->recovery_cnt 0-4294967295
PARAM_VALUE 0 efx->pci_dev->is_busmaster 1
PARAM_VALUE 0 efx->pci_dev->sriov->ctrl 0-u16max
PARAM_VALUE 0 efx->pci_dev->sriov->initial_VFs 0-u16max
PARAM_VALUE 0 efx->pci_dev->sriov->num_VFs 0-u16max
PARAM_VALUE 0 efx->pci_dev->sriov->offset 0-u16max
PARAM_VALUE 0 efx->pci_dev->sriov->pos s32min-s32max
PARAM_VALUE 0 efx->pci_dev->sriov->stride 0-u16max
PARAM_VALUE 0 efx->pci_dev->sriov->vf_device 0-u16max
PARAM_VALUE 0 efx->pci_dev->sriov->vf_rebar_cap 0-u16max
PARAM_VALUE 0 efx->port_enabled 0
PARAM_VALUE 0 efx->ptp_data 0,4096-ptr_max
PARAM_VALUE 0 efx->ptp_data->rxfilter_installed 0-1
PARAM_VALUE 0 efx->ptp_data->rxq.qlen 0-4294967295
PARAM_VALUE 0 efx->ptp_data->txq.next->prev 2011684551238094848
PARAM_VALUE 0 efx->ptp_data->txq.prev->next 2011684551238094848
PARAM_VALUE 0 efx->ptp_data->txq.qlen 0
PARAM_VALUE 0 efx->reset_work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 efx->selftest_work.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 efx->selftest_work.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 efx->selftest_work.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 efx->type 4096-ptr_max
PARAM_VALUE 0 efx->type->fini_dmaq 4096-ptr_max
PARAM_VALUE 0 efx->type->irq_test_generate 4096-ptr_max
PARAM_VALUE 0 efx->type->mem_bar 0,4096-ptr_max
PARAM_VALUE 0 efx->type->mtd_read 0,4096-ptr_max
PARAM_VALUE 0 efx->type->mtd_write 0,4096-ptr_max
PARAM_VALUE 0 efx->type->probe_port 0,4096-ptr_max
PARAM_VALUE 0 efx->type->reset 4096-ptr_max
PARAM_VALUE 0 efx->type->revision 3-6
PARAM_VALUE 0 efx->type->sriov_init 0,4096-ptr_max
PARAM_VALUE 0 efx->type->test_chip 0,4085251898140250112,6015777839465930752
PARAM_VALUE 0 efx->type->test_nvram 0,4096-ptr_max
PARAM_VALUE 0 efx->type->update_stats 110249406515109888,5406653891504566272,5426370854852562944,6140843286870249472
PARAM_VALUE 0 *efx->net_dev->name 0-255
PARAM_VALUE 1 value 6852258746316689408
PARAM_VALUE 2 reg 16056320
BUF_SIZE 0 efx s32min-(-1),1-s32max
BUF_SIZE 0 efx s32min-(-1),1-s32max
CAPPED_DATA 0 efx->net_dev->num_tx_queues 1
DATA_SOURCE 0 efx $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex