Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/broadcom/cnic.c cnic_init_bnx2_rx_ring() -> cnic_init_context()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cnic_priv 4096-ptr_max
PARAM_VALUE 0 dev->cnic_priv->tx_cons 0-u16max
PARAM_VALUE 0 dev->cnic_priv->udev->l2_ring->tx_bd_haddr_hi 0-4294967295
PARAM_VALUE 0 dev->cnic_priv->udev->l2_ring->tx_bd_haddr_lo 0-4294967295
PARAM_VALUE 0 dev->netdev->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 dev->pcidev->bus->self->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 0 dev->pcidev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 dev->pcidev->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 dev->pcidev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 dev->pcidev->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->pcidev->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->pcidev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 dev->pcidev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->pcidev->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 0 dev->pcidev->p2pdma->p2pmem_published 0-1
PARAM_VALUE 0 dev->pcidev->subordinate->self->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 0 *dev->cnic_priv->tx_cons_ptr 0-u16max
PARAM_VALUE 0 *dev->netdev->name 0-255
PARAM_VALUE 0 *dev->pcidev->saved_config_space 0-4294967295
PARAM_VALUE 1 cid 2
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/broadcom/cnic.c cnic_init_bnx2_tx_ring() -> cnic_init_context()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cnic_priv 4096-ptr_max
PARAM_VALUE 0 dev->netdev->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 dev->pcidev->bus->self->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 0 dev->pcidev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 dev->pcidev->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 dev->pcidev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 dev->pcidev->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->pcidev->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->pcidev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 dev->pcidev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->pcidev->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 0 dev->pcidev->p2pdma->p2pmem_published 0-1
PARAM_VALUE 0 dev->pcidev->subordinate->self->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 0 *dev->netdev->name 0-255
PARAM_VALUE 0 *dev->pcidev->saved_config_space 0-4294967295
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/broadcom/cnic.c cnic_init_bnx2_tx_ring() -> cnic_init_context()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cnic_priv 4096-ptr_max
PARAM_VALUE 0 dev->netdev->priv->indirect_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->netdev->rtnl_link_ops->priv_size 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728
PARAM_VALUE 0 dev->pcidev->bus->self->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 0 dev->pcidev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 dev->pcidev->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 dev->pcidev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 dev->pcidev->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->pcidev->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->pcidev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 dev->pcidev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->pcidev->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 0 dev->pcidev->p2pdma->p2pmem_published 0-1
PARAM_VALUE 0 dev->pcidev->subordinate->self->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 0 *dev->netdev->name 0-255
PARAM_VALUE 0 *dev->pcidev->saved_config_space 0-4294967295
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/broadcom/cnic.c cnic_start_bnx2_hw() -> cnic_init_context()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cnic_priv 4096-ptr_max
PARAM_VALUE 0 dev->cnic_priv->cids_per_blk s32min-s32max
PARAM_VALUE 0 dev->cnic_priv->ctx_blk_size s32min-s32max
PARAM_VALUE 0 dev->cnic_priv->ctx_blks s32min-s32max
PARAM_VALUE 0 dev->cnic_priv->kcq1.hw_idx 4260116100406325248,4437773273781919744
PARAM_VALUE 0 dev->cnic_priv->kcq1.next_idx 2456551157615804416,7684039395962732544
PARAM_VALUE 0 dev->cnic_priv->shmem_base 0-4294967295
PARAM_VALUE 0 dev->netdev->priv->indirect_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->netdev->rtnl_link_ops->priv_size 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728
PARAM_VALUE 0 dev->pcidev 4096-ptr_max
PARAM_VALUE 0 dev->pcidev->bus->self->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 0 dev->pcidev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 dev->pcidev->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 dev->pcidev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 dev->pcidev->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->pcidev->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->pcidev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 dev->pcidev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->pcidev->link_bwctrl->cdev (-4095)-s64max
PARAM_VALUE 0 dev->pcidev->p2pdma->p2pmem_published 0-1
PARAM_VALUE 0 *dev->netdev->name 0-255
PARAM_VALUE 0 *dev->pcidev->saved_config_space 0-4294967295
PARAM_VALUE 1 cid 24
CAPPED_DATA 0 dev 1
CAPPED_DATA 0 dev->cnic_priv->ctx_blks 1
CAPPED_DATA 0 dev->pcidev 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/broadcom/cnic.c cnic_start_bnx2_hw() -> cnic_init_context()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cnic_priv 4096-ptr_max
PARAM_VALUE 0 dev->cnic_priv->cids_per_blk s32min-s32max
PARAM_VALUE 0 dev->cnic_priv->ctx_blk_size s32min-s32max
PARAM_VALUE 0 dev->cnic_priv->ctx_blks s32min-s32max
PARAM_VALUE 0 dev->cnic_priv->kcq1.hw_idx 4260116100406325248,4437773273781919744
PARAM_VALUE 0 dev->cnic_priv->kcq1.next_idx 2456551157615804416,7684039395962732544
PARAM_VALUE 0 dev->cnic_priv->shmem_base 0-4294967295
PARAM_VALUE 0 dev->netdev->priv->indirect_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->netdev->rtnl_link_ops->priv_size 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728
PARAM_VALUE 0 dev->pcidev 4096-ptr_max
PARAM_VALUE 0 dev->pcidev->bus->self->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 0 dev->pcidev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 dev->pcidev->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 dev->pcidev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 dev->pcidev->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->pcidev->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->pcidev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 dev->pcidev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->pcidev->link_bwctrl->cdev (-4095)-s64max
PARAM_VALUE 0 dev->pcidev->p2pdma->p2pmem_published 0-1
PARAM_VALUE 0 *dev->netdev->name 0-255
PARAM_VALUE 0 *dev->pcidev->saved_config_space 0-4294967295
PARAM_VALUE 1 cid 25
CAPPED_DATA 0 dev 1
CAPPED_DATA 0 dev->cnic_priv->ctx_blks 1
CAPPED_DATA 0 dev->pcidev 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/broadcom/cnic.c cnic_stop_bnx2_hw() -> cnic_init_context()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cnic_priv 4096-ptr_max
PARAM_VALUE 0 dev->cnic_priv->ethdev 4096-ptr_max
PARAM_VALUE 0 dev->cnic_priv->ethdev->drv_ctl 4096-ptr_max
PARAM_VALUE 0 dev->netdev->priv->indirect_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->netdev->rtnl_link_ops->priv_size 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728
PARAM_VALUE 0 dev->pcidev->bus->self->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 0 dev->pcidev->dev.cma_area->available_count 0-s64max
PARAM_VALUE 0 dev->pcidev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 dev->pcidev->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 dev->pcidev->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->pcidev->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->pcidev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 dev->pcidev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->pcidev->link_bwctrl->cdev (-4095)-s64max
PARAM_VALUE 0 dev->pcidev->p2pdma->p2pmem_published 0-1
PARAM_VALUE 0 dev->pcidev->subordinate->self->link_bwctrl->cdev (-22),(-19),(-12),0,4096-s64max
PARAM_VALUE 0 *dev->netdev->name 0-255
PARAM_VALUE 0 *dev->pcidev->saved_config_space 0-4294967295
PARAM_VALUE 1 cid 24
CAPPED_DATA 0 dev 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/broadcom/cnic.c cnic_stop_bnx2_hw() -> cnic_init_context()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cnic_priv 4096-ptr_max
PARAM_VALUE 0 dev->cnic_priv->ethdev 4096-ptr_max
PARAM_VALUE 0 dev->cnic_priv->ethdev->drv_ctl 4096-ptr_max
PARAM_VALUE 0 dev->netdev->priv->indirect_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->netdev->rtnl_link_ops->priv_size 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728
PARAM_VALUE 0 dev->pcidev->bus->self->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 0 dev->pcidev->dev.cma_area->available_count 0-s64max
PARAM_VALUE 0 dev->pcidev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 dev->pcidev->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 dev->pcidev->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->pcidev->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->pcidev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 dev->pcidev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->pcidev->link_bwctrl->cdev (-4095)-s64max
PARAM_VALUE 0 dev->pcidev->p2pdma->p2pmem_published 0-1
PARAM_VALUE 0 dev->pcidev->subordinate->self->link_bwctrl->cdev (-22),(-19),(-12),0,4096-s64max
PARAM_VALUE 0 *dev->netdev->name 0-255
PARAM_VALUE 0 *dev->pcidev->saved_config_space 0-4294967295
PARAM_VALUE 1 cid 25
CAPPED_DATA 0 dev 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL