Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/sfc/falcon/farch.c ef4_farch_legacy_interrupt() -> ef4_farch_ev_read_ack()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/net/ethernet/sfc/falcon/efx.c ef4_nic_eventq_read_ack() -> (struct ef4_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->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->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->max_rx_ip_filters 0,8192
PARAM_VALUE 0 channel->efx->type->revision 1-2
PARAM_VALUE 0 channel->rx_queue.efx->type->rx_init 3617282361275392000
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->efx->type->revision 1-2
PARAM_VALUE 0 channel->tx_queue->initialised 1
PARAM_VALUE 0 channel->tx_queue->pkts_compl 0-4294967295
PARAM_VALUE 0 channel->tx_queue->tx_min_size 0,33
PARAM_VALUE 0 channel->type->keep_eventq 0
PARAM_VALUE 0 channel->type->receive_skb 0
PARAM_VALUE 0 *channel->efx->net_dev->name 0-255
DATA_SOURCE 0 channel $0
CONTAINER 0 -448-72-0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL