Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/ulp/ipoib/ipoib_cm.c ipoib_cm_dev_cleanup() -> ipoib_cm_free_rx_ring()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 0 dev->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->ethtool_ops->get_rxfh_fields 0,4096-ptr_max
PARAM_VALUE 0 dev->ethtool_ops->rxfh_max_num_contexts 0,2-u32max
PARAM_VALUE 0 dev->ethtool_ops->set_coalesce 0,4096-ptr_max
PARAM_VALUE 0 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,595,597,1553,1587,1681,132625,135697,657041,677393,2029107,2097665,2300433,2300595,3653155,12583935,12584499,13239859,117440512,536870912,536872499-u32max
PARAM_VALUE 0 dev->ethtool_ops->supported_input_xfrm 0-2
PARAM_VALUE 0 dev->ip6_ptr->dev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE 0 dev->netdev_ops->ndo_init 0,4096-ptr_max
PARAM_VALUE 0 dev->netdev_ops->ndo_uninit 0,4096-ptr_max
PARAM_VALUE 0 dev->queues_kset->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->rtnl_link_ops->alloc 0,4096-ptr_max
PARAM_VALUE 0 dev->rtnl_link_ops->changelink 0,4096-ptr_max
PARAM_VALUE 0 dev->rtnl_link_ops->dellink 0,4096-ptr_max
PARAM_VALUE 0 dev->rtnl_link_ops->fill_info 0,4096-ptr_max
PARAM_VALUE 0 dev->rtnl_link_ops->fill_linkxstats 0,4096-ptr_max
PARAM_VALUE 0 dev->rtnl_link_ops->fill_slave_info 0,4096-ptr_max
PARAM_VALUE 0 dev->rtnl_link_ops->fill_xstats 0,4096-ptr_max
PARAM_VALUE 0 dev->rtnl_link_ops->get_link_net 0,4096-ptr_max
PARAM_VALUE 0 dev->rtnl_link_ops->get_linkxstats_size 0,4096-ptr_max
PARAM_VALUE 0 dev->rtnl_link_ops->get_num_rx_queues 0,4096-ptr_max
PARAM_VALUE 0 dev->rtnl_link_ops->get_num_tx_queues 0,4096-ptr_max
PARAM_VALUE 0 dev->rtnl_link_ops->get_size 0,4096-ptr_max
PARAM_VALUE 0 dev->rtnl_link_ops->get_slave_size 0,4096-ptr_max
PARAM_VALUE 0 dev->rtnl_link_ops->get_xstats_size 0,4096-ptr_max
PARAM_VALUE 0 dev->rtnl_link_ops->kind 0,4096-ptr_max
PARAM_VALUE 0 dev->rtnl_link_ops->maxtype 0-6,8-10,15-16,18,20,22,24,33-34,50
PARAM_VALUE 0 dev->rtnl_link_ops->newlink 0,4096-ptr_max
PARAM_VALUE 0 dev->rtnl_link_ops->peer_type 0-1
PARAM_VALUE 0 dev->rtnl_link_ops->policy 0,4096-ptr_max
PARAM_VALUE 0 dev->rtnl_link_ops->setup 0,4096-ptr_max
PARAM_VALUE 0 dev->rtnl_link_ops->slave_changelink 0,4096-ptr_max
PARAM_VALUE 0 dev->rtnl_link_ops->slave_maxtype 0,12,45
PARAM_VALUE 0 dev->rtnl_link_ops->slave_policy 0,4096-ptr_max
PARAM_VALUE 0 dev->rtnl_link_ops->validate 0,4096-ptr_max
PARAM_VALUE 0 *dev->name 0-255
PARAM_VALUE 1 rx_ring 1-u64max
BUF_SIZE 0 dev->name_node (-1),64
BUF_SIZE 0 dev->name_node->name (-1),16
CAPPED_DATA 0 dev 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 0 dev->real_num_tx_queues
HALF_LOCKED2 0 &dev->lock

drivers/infiniband/ulp/ipoib/ipoib_cm.c ipoib_cm_free_rx_reap_list() -> ipoib_cm_free_rx_ring()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/ulp/ipoib/ipoib_cm.c ipoib_cm_nonsrq_init_rx() -> ipoib_cm_free_rx_ring()

Type Parameter Key Value
PARAM_VALUE 1 rx_ring 1-u64max
BUF_SIZE 0 dev 64,280-s32max
BUF_SIZE 0 dev 64,280-s32max
BUF_SIZE 1 rx_ring 0-u64max
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 rx_ring r vzalloc_noprof
RX_PATH
NOCHECK_CALL
LOCK2 &pool->lock