Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/sfc/falcon/rx.c ef4_discard_rx_packet() -> ef4_recycle_rx_pages()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->efx->loopback_selftest->rx_bad.counter s32min-s32max
PARAM_VALUE 0 channel->efx->loopback_selftest->rx_good.counter s32min-s32max
PARAM_VALUE 0 channel->efx->net_dev 4096-ptr_max
PARAM_VALUE 0 channel->efx->net_dev->ip6_ptr->mc_query_work.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 channel->efx->net_dev->ip6_ptr->mc_query_work.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 channel->efx->net_dev->ip6_ptr->mc_query_work.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 channel->efx->net_dev->ip6_ptr->mc_report_work.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 channel->efx->net_dev->ip6_ptr->mc_report_work.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 channel->efx->net_dev->ip6_ptr->mc_report_work.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 channel->efx->net_dev->ip6_ptr->stats.proc_dir_entry 0,4806605944481423360
PARAM_VALUE 0 channel->efx->net_dev->nd_net.net->gen->s.len 0-s32max
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->napi_str.gro.rx_list.next->next 4096-ptr_max
PARAM_VALUE 0 channel->napi_str.gro.rx_list.next->prev 4096-ptr_max
PARAM_VALUE 0 channel->napi_str.gro.rx_list.prev->next 4096-ptr_max
PARAM_VALUE 0 channel->napi_str.gro.rx_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 channel->napi_str.gro.rx_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 channel->napi_str.skb 0,4096-ptr_max
PARAM_VALUE 0 channel->napi_str.skb->alloc_cpu 0
PARAM_VALUE 0 channel->napi_str.skb->data 4096-ptr_max
PARAM_VALUE 0 channel->napi_str.skb->mac_header u16max
PARAM_VALUE 0 channel->napi_str.skb->sk->__sk_common.skc_net.net->notrefcnt_tracker.dead 1
PARAM_VALUE 0 channel->napi_str.skb->sk->__sk_common.skc_net.net->notrefcnt_tracker.quarantine.prev 4096-ptr_max
PARAM_VALUE 0 channel->napi_str.skb->sk->__sk_common.skc_net.net->refcnt_tracker.dead 1
PARAM_VALUE 0 channel->napi_str.skb->sk->sk_bpf_storage->owner_refcnt.refs.counter s32min-s32max
PARAM_VALUE 0 channel->napi_str.skb->sk->sk_callback_lock.owner (-1)
PARAM_VALUE 0 channel->napi_str.skb->sk->sk_callback_lock.owner_cpu u32max
PARAM_VALUE 0 channel->napi_str.skb->sk->sk_callback_lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 0 channel->napi_str.skb->transport_header u16max
PARAM_VALUE 0 channel->napi_str.skb->users.refs.counter 1
PARAM_VALUE 0 channel->rx_pkt_n_frags 0
PARAM_VALUE 0 channel->type->receive_skb 0
PARAM_VALUE 1 rx_buf 4096-ptr_max
PARAM_VALUE 1 rx_buf->flags 4-u16max
DATA_SOURCE 0 channel $0
DATA_SOURCE 1 rx_buf $1
DATA_SOURCE 2 n_frags $2
BIT_INFO 1 rx_buf->flags 0x4,0xffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/sfc/falcon/rx.c ef4_rx_packet() -> ef4_recycle_rx_pages()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
DATA_SOURCE 0 channel r ef4_rx_queue_channel
DATA_SOURCE 1 rx_buf r ef4_rx_buffer
DATA_SOURCE 2 n_frags $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read