Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/ethernet/broadcom/bnx2x/bnx2x_cmn.c bnx2x_init_rx_rings() -> bnx2x_update_rx_prod()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->dev->lock.dep_map->name 0-255
PARAM_VALUE 0 bp->dev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 bp->dev->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 bp->dev->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 bp->dev->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 bp->dev->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 bp->dev->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 bp->dev->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 bp->dev->num_rx_queues 1-u32max
PARAM_VALUE 0 bp->dev->num_tc 0-16
PARAM_VALUE 0 bp->dev->num_tx_queues 1-u32max
PARAM_VALUE 0 bp->dev->real_num_rx_queues 1-u32max
PARAM_VALUE 0 bp->dev->real_num_tx_queues 1-u32max
PARAM_VALUE 0 bp->dev->tc_to_txq->count 0-u16max
PARAM_VALUE 0 bp->dev->tc_to_txq->offset 0-u16max
PARAM_VALUE 0 bp->dev->threaded 0
PARAM_VALUE 0 bp->fp 4096-ptr_max
PARAM_VALUE 0 bp->func_obj.drv->gunzip_end 8717098041429102592
PARAM_VALUE 0 bp->func_obj.drv->gunzip_init 7274562893694894080
PARAM_VALUE 0 bp->func_obj.drv->init_fw 801543878671323136
PARAM_VALUE 0 bp->func_obj.drv->init_hw_cmn 2595059512693575680
PARAM_VALUE 0 bp->func_obj.drv->init_hw_cmn_chip 4114087805302788096
PARAM_VALUE 0 bp->func_obj.drv->init_hw_func 2632320854569345024
PARAM_VALUE 0 bp->func_obj.drv->init_hw_port 4111817646589562880
PARAM_VALUE 0 bp->func_obj.drv->release_fw 4289797533096198144
PARAM_VALUE 0 bp->func_obj.drv->reset_hw_cmn 6196804252509257728
PARAM_VALUE 0 bp->func_obj.drv->reset_hw_func 1204179892193918976
PARAM_VALUE 0 bp->func_obj.drv->reset_hw_port 7277134606355738624
PARAM_VALUE 0 bp->link_params.bp->dev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE 0 bp->link_params.bp->dev->rtnl_link_ops->priv_size 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3544,3552,9688-u64max
PARAM_VALUE 0 bp->link_params.bp->pdev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 bp->num_ethernet_queues 1-s32max
PARAM_VALUE 0 bp->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 bp->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 bp->pdev->dev.cma_area->alloc_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 bp->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 bp->pdev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 bp->pdev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 bp->pdev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 bp->pdev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 bp->pdev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 bp->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 bp->pdev->sriov->num_VFs 0-u16max
PARAM_VALUE 0 bp->stats_lock.first_waiter->up 0-1
PARAM_VALUE 0 *bp->dev->name 0-255
PARAM_VALUE 0 *bp->dev->prio_tc_map 0-255
PARAM_VALUE 0 *bp->mf_config 0-4294967295
PARAM_VALUE 1 fp 4096-ptr_max
PARAM_VALUE 1 fp->rx_bd_cons 0
CAPPED_DATA 0 bp->num_ethernet_queues 1
DATA_SOURCE 0 bp $0
MEM_ZERO 0 &bp->last_reported_link
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 bp->common->bc_ver 0-u32max
HOST_DATA 0 bp->common->boot_mode 0-u32max
HOST_DATA 0 bp->common->chip_id 0-u32max
HOST_DATA 0 bp->common->chip_port_mode 0-255
HOST_DATA 0 bp->common->flash_size s32min-s32max
HOST_DATA 0 bp->common->hw_config 0-u32max
HOST_DATA 0 bp->common->int_block 0-255
HOST_DATA 0 bp->common->mf2_cfg_base 0-u32max
HOST_DATA 0 bp->common->mf_cfg_base 0-u32max
HOST_DATA 0 bp->common->shmem2_base 0-u32max
HOST_DATA 0 bp->common->shmem_base 0-u32max
HOST_DATA 0 bp->fw_cap 0-u32max
HOST_DATA 0 bp->link_params.link_flags 0-u16max
HOST_DATA 0 bp->pfid 0-255
HOST_DATA 0 bp->spq_prod_bd->hdr.conn_and_cmd_data 0-u32max[c]
HOST_DATA 0 bp->spq_prod_bd->hdr.type 0-15[c]
HOST_DATA 0 bp->vf2pf_mbox->req.close.vf_id 0-63[c]
NO_OVERFLOW_SIMPLE 0 bp->max_cos
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/broadcom/bnx2x/bnx2x_cmn.c bnx2x_init_rx_rings_cnic() -> bnx2x_update_rx_prod()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->cnic_mutex.dep_map->name 0-255
PARAM_VALUE 0 bp->dev->ethtool_ops->supported_coalesce_params 0-3,17,19,34-35,48,51,59,63,204,236,273,511,513,529,547,561,563
PARAM_VALUE 0 bp->dev->lock.dep_map->name 0-255
PARAM_VALUE 0 bp->dev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 bp->dev->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 bp->dev->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 bp->dev->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 bp->dev->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 bp->dev->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 bp->dev->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 bp->dev->num_rx_queues 1-u32max
PARAM_VALUE 0 bp->dev->num_tc 0
PARAM_VALUE 0 bp->dev->num_tx_queues 1-u32max
PARAM_VALUE 0 bp->dev->real_num_rx_queues 1-u32max
PARAM_VALUE 0 bp->dev->real_num_tx_queues 1-u32max
PARAM_VALUE 0 bp->dev->rtnl_link_ops->priv_size 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728,744
PARAM_VALUE 0 bp->dev->threaded 0
PARAM_VALUE 0 bp->fp 4096-ptr_max
PARAM_VALUE 0 bp->iro_arr 4096-ptr_max
PARAM_VALUE 0 bp->link_params.bp->dev->ethtool_ops->supported_coalesce_params 0-3,17,19,34-35,48,51,59,63,204,236,273,511,513,529,547,561,563
PARAM_VALUE 0 bp->link_params.bp->dev->rtnl_link_ops->priv_size 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728,744
PARAM_VALUE 0 bp->num_queues (-2147483647)-s32max
PARAM_VALUE 0 bp->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 bp->pdev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 bp->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 *bp->dev->name 0-255
PARAM_VALUE 0 *bp->dev->prio_tc_map 0-255
PARAM_VALUE 0 *bp->link_params.bp->dev->name 0-255
PARAM_VALUE 1 fp 4096-ptr_max
PARAM_VALUE 1 fp->rx_bd_cons 0
DATA_SOURCE 0 bp $0
BIT_INFO 0 bp->flags 0x0,0xffffffff
RX_PATH
NOCHECK_CALL

drivers/net/ethernet/broadcom/bnx2x/bnx2x_cmn.c bnx2x_rx_int() -> bnx2x_update_rx_prod()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 1 fp 4096-ptr_max
PARAM_VALUE 1 fp->bp 4096-ptr_max
PARAM_VALUE 1 fp->rx_comp_ring 4096-ptr_max
CAPPED_DATA 1 fp->max_cos 1
DATA_SOURCE 1 fp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/broadcom/bnx2x/bnx2x_ethtool.c bnx2x_run_loopback() -> bnx2x_update_rx_prod()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->dev 4096-ptr_max
PARAM_VALUE 0 bp->dev->rtnl_link_ops->priv_size 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3544,9688-s64max
PARAM_VALUE 0 bp->dev->tc_to_txq->count 0-u16max
PARAM_VALUE 0 bp->dev->tc_to_txq->offset 0-u16max
PARAM_VALUE 0 bp->fp 4096-ptr_max
PARAM_VALUE 0 bp->link_params->bp->dev->name 0-255
PARAM_VALUE 0 bp->link_params.bp->dev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE 0 bp->link_params.bp->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-s64max
PARAM_VALUE 0 bp->link_params.loopback_mode 2-3,5-7
PARAM_VALUE 0 bp->num_ethernet_queues 0-s32max
PARAM_VALUE 0 bp->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 bp->pdev->dev.dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 bp->pdev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 bp->pdev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 bp->pdev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 bp->pdev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 bp->pdev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 bp->pdev->dev.iommu_group->default_domain 0-s64max
PARAM_VALUE 0 bp->pdev->sriov->num_VFs 0-u16max
PARAM_VALUE 0 bp->period_task.work.entry.next 1-u64max
PARAM_VALUE 0 bp->period_task.work.entry.next->next 1-u64max
PARAM_VALUE 0 bp->period_task.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 bp->period_task.work.entry.prev 1-u64max
PARAM_VALUE 0 bp->period_task.work.entry.prev->next 1-u64max
PARAM_VALUE 0 bp->period_task.work.entry.prev->prev 1-u64max
PARAM_VALUE 0 bp->port.phy_mutex.dep_map->name 0-255
PARAM_VALUE 0 bp->port.phy_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 bp->port.phy_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 bp->port.phy_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 bp->sp_task.work.entry.next 1-u64max
PARAM_VALUE 0 bp->sp_task.work.entry.next->next 1-u64max
PARAM_VALUE 0 bp->sp_task.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 bp->sp_task.work.entry.prev 1-u64max
PARAM_VALUE 0 bp->sp_task.work.entry.prev->next 1-u64max
PARAM_VALUE 0 bp->sp_task.work.entry.prev->prev 1-u64max
PARAM_VALUE 0 bp->stats_lock.first_waiter->up 0-1
PARAM_VALUE 0 *bp->mf_config 0-4294967295
PARAM_VALUE 1 fp 4096-ptr_max
PARAM_VALUE 1 fp->rx_comp_ring 4096-ptr_max
PARAM_VALUE 1 fp->rx_cons_sb 4096-ptr_max
PARAM_VALUE 1 *fp->rx_cons_sb 1-u16max
CAPPED_DATA 0 bp->dev->num_tx_queues 1
CAPPED_DATA 0 bp->num_ethernet_queues 1
CAPPED_DATA 0 &bp->pdev->dev 1
DATA_SOURCE 0 bp $0
FUZZY_MAX 0 bp->link_params.loopback_mode 7
NOCHECK_CALL
HOST_DATA 0 bp->link_params s64min-s64max
HOST_DATA 0 bp->link_params.chip_id 0-u32max
HOST_DATA 0 bp->link_params.eee_mode 0-u32max
HOST_DATA 0 bp->link_params.feature_config_flags 0-u32max
HOST_DATA 0 bp->link_params.hw_led_mode 0-u16max
HOST_DATA 0 bp->link_params.lane_config 0-u32max
HOST_DATA 0 bp->link_params.lfa_base 0-u32max
HOST_DATA 0 bp->link_params.link_attr_sync 0-u32max
HOST_DATA 0 bp->link_params.link_flags 2
HOST_DATA 0 bp->link_params.loopback_mode 2,6-7
HOST_DATA 0 bp->link_params.multi_phy_config 0-u32max
HOST_DATA 0 bp->link_params.port 0-255
HOST_DATA 0 bp->link_params.req_fc_auto_adv 0-u16max
HOST_DATA 0 bp->link_params.rsrv 0-255
HOST_DATA 0 bp->link_params.shmem2_base 0-u32max
HOST_DATA 0 bp->link_params.shmem_base 0-u32max
HOST_DATA 0 bp->link_params.switch_cfg 0-u32max
HOST_DATA 0 bp->link_vars s64min-s64max
HOST_DATA 0 bp->link_vars.aeu_int_mask 0-u32max
HOST_DATA 0 bp->link_vars.check_kr2_recovery_cnt 0
HOST_DATA 0 bp->link_vars.duplex 0-1
HOST_DATA 0 bp->link_vars.eee_status 0-u32max
HOST_DATA 0 bp->link_vars.fault_detected 0-255
HOST_DATA 0 bp->link_vars.flow_ctrl 256,512,768,1024
HOST_DATA 0 bp->link_vars.ieee_fc 0-u16max
HOST_DATA 0 bp->link_vars.link_status 0-u32max
HOST_DATA 0 bp->link_vars.link_up 0-1
HOST_DATA 0 bp->link_vars.periodic_flags 0-u16max
HOST_DATA 0 bp->link_vars.phy_flags 1,3,5,7,13,33,45
HOST_DATA 0 bp->link_vars.phy_link_up 0-1
HOST_DATA 0 bp->link_vars.rsrv2 0-u16max
HOST_DATA 0 bp->link_vars.rx_tx_asic_rst 0-255
HOST_DATA 0 bp->link_vars.turn_to_run_wc_rt 0-255
HOST_DATA 0 bp->vf2pf_mbox->req.close.vf_id 0-63[c]
HALF_LOCKED2 0 &bp->port.phy_mutex