Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/sfc/siena/efx_channels.c efx_nic_eventq_read_ack() -> (struct efx_nic_type)->ev_read_ack()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->efx 4096-ptr_max
PARAM_VALUE 0 channel->efx->net_dev->nd_net.net->ipv4.fqdir->f->frag_expire 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE 0 channel->efx->net_dev->nd_net.net->ipv4.fqdir->f->qsize 0,304,320
PARAM_VALUE 0 channel->efx->net_dev->ndisc_ops->fill_addr_option 4096-ptr_max
PARAM_VALUE 0 channel->efx->net_dev->ndisc_ops->parse_options 4096-ptr_max
PARAM_VALUE 0 channel->efx->type 4096-ptr_max
PARAM_VALUE 0 channel->efx->type->ev_init 4096-ptr_max
PARAM_VALUE 0 channel->efx->type->ev_read_ack 4096-ptr_max
PARAM_VALUE 0 channel->efx->type->ev_test_generate 4096-ptr_max
PARAM_VALUE 0 channel->efx->type->mcdi_max_ver 1-2
PARAM_VALUE 0 channel->rx_queue.efx->net_dev->rtnl_link_ops->priv_size 0,8,32,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,3720,9688-u64max
PARAM_VALUE 0 channel->rx_queue.efx->type->rx_init 2815690446426697728,5328386979707109376
PARAM_VALUE 0 channel->rx_queue.efx->type->rx_recycle_ring_size 4052947673475260416,4934899901988474880,6795499523967021056
PARAM_VALUE 0 channel->tx_queue->bytes_compl 0-4294967295
PARAM_VALUE 0 channel->tx_queue->core_txq->dql.adj_limit 0-4294967295
PARAM_VALUE 0 channel->tx_queue->core_txq->dql.limit 0-4294967295
PARAM_VALUE 0 channel->tx_queue->core_txq->dql.lowest_slack 0-4294967295
PARAM_VALUE 0 channel->tx_queue->core_txq->dql.num_completed 0-4294967295
PARAM_VALUE 0 channel->tx_queue->core_txq->dql.prev_last_obj_cnt 0-4294967295
PARAM_VALUE 0 channel->tx_queue->core_txq->dql.prev_num_queued 0-4294967295
PARAM_VALUE 0 channel->tx_queue->core_txq->dql.prev_ovlimit 0-4294967295
PARAM_VALUE 0 channel->tx_queue->pkts_compl 0-4294967295
PARAM_VALUE 0 *channel->efx->net_dev->name 0-255
DATA_SOURCE 0 channel $0
CONTAINER 0 -544-72-0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/sfc/efx_channels.c efx_nic_eventq_read_ack() -> (struct efx_nic_type)->ev_read_ack()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->efx 4096-ptr_max
PARAM_VALUE 0 channel->efx->net_dev->nd_net.net->ipv4.fqdir->f->frag_expire 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE 0 channel->efx->net_dev->nd_net.net->ipv4.fqdir->f->qsize 0,304,320
PARAM_VALUE 0 channel->efx->net_dev->ndisc_ops->fill_addr_option 4096-ptr_max
PARAM_VALUE 0 channel->efx->net_dev->ndisc_ops->parse_options 4096-ptr_max
PARAM_VALUE 0 channel->efx->type 4096-ptr_max
PARAM_VALUE 0 channel->efx->type->ev_init 4096-ptr_max
PARAM_VALUE 0 channel->efx->type->ev_read_ack 4096-ptr_max
PARAM_VALUE 0 channel->efx->type->ev_test_generate 4096-ptr_max
PARAM_VALUE 0 channel->efx->type->mcdi_max_ver 1-2
PARAM_VALUE 0 channel->rx_queue.efx->net_dev->rtnl_link_ops->priv_size 0,8,32,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,3720,9688-u64max
PARAM_VALUE 0 channel->rx_queue.efx->type->rx_init 2815690446426697728,5328386979707109376
PARAM_VALUE 0 channel->rx_queue.efx->type->rx_recycle_ring_size 4052947673475260416,4934899901988474880,6795499523967021056
PARAM_VALUE 0 channel->tx_queue->bytes_compl 0-4294967295
PARAM_VALUE 0 channel->tx_queue->core_txq->dql.adj_limit 0-4294967295
PARAM_VALUE 0 channel->tx_queue->core_txq->dql.limit 0-4294967295
PARAM_VALUE 0 channel->tx_queue->core_txq->dql.lowest_slack 0-4294967295
PARAM_VALUE 0 channel->tx_queue->core_txq->dql.num_completed 0-4294967295
PARAM_VALUE 0 channel->tx_queue->core_txq->dql.prev_last_obj_cnt 0-4294967295
PARAM_VALUE 0 channel->tx_queue->core_txq->dql.prev_num_queued 0-4294967295
PARAM_VALUE 0 channel->tx_queue->core_txq->dql.prev_ovlimit 0-4294967295
PARAM_VALUE 0 channel->tx_queue->pkts_compl 0-4294967295
PARAM_VALUE 0 *channel->efx->net_dev->name 0-255
PARAM_VALUE 0 *channel->efx->tc->flush_gen 0-4294967295
DATA_SOURCE 0 channel $0
CONTAINER 0 -552-72-0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL