Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/sfc/falcon/efx.c ef4_poll() -> ef4_filter_rfs_expire()

Type Parameter Key Value
PARAM_VALUE 0 channel 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->net_dev->ndisc_ops->update 4096-ptr_max
PARAM_VALUE 0 channel->efx->type->probe 4096-ptr_max
PARAM_VALUE 0 channel->efx->type->revision 1-2
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->type->receive_skb 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read