ef4_discard_rx_packet identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/net/ethernet/sfc/falcon/rx.c, line 307 (as a function)

Referenced in 1 files:

drivers/net/ethernet/sfc/falcon/rx.c, line 570

Smatch caller information:

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

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->linkwatch_dev_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	channel->efx->net_dev->linkwatch_dev_tracker->free_stack_handle	0-4294967295
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->net_dev->rtnl_link_ops->maxtype	0-6,8-10,15,18,20,22,24,34,50
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->_nfct	0
PARAM_VALUE	0	channel->napi_str.skb->_sk_redir	0
PARAM_VALUE	0	channel->napi_str.skb->_skb_refdst	0
PARAM_VALUE	0	channel->napi_str.skb->alloc_cpu	0
PARAM_VALUE	0	channel->napi_str.skb->cloned	0
PARAM_VALUE	0	channel->napi_str.skb->csum	0
PARAM_VALUE	0	channel->napi_str.skb->csum_complete_sw	0
PARAM_VALUE	0	channel->napi_str.skb->csum_level	0
PARAM_VALUE	0	channel->napi_str.skb->csum_not_inet	0
PARAM_VALUE	0	channel->napi_str.skb->csum_offset	0
PARAM_VALUE	0	channel->napi_str.skb->csum_start	0
PARAM_VALUE	0	channel->napi_str.skb->csum_valid	0
PARAM_VALUE	0	channel->napi_str.skb->data	4096-ptr_max
PARAM_VALUE	0	channel->napi_str.skb->data_len	0
PARAM_VALUE	0	channel->napi_str.skb->decrypted	0
PARAM_VALUE	0	channel->napi_str.skb->destructor	0
PARAM_VALUE	0	channel->napi_str.skb->dev_scratch	0
PARAM_VALUE	0	channel->napi_str.skb->encap_hdr_csum	0
PARAM_VALUE	0	channel->napi_str.skb->encapsulation	0
PARAM_VALUE	0	channel->napi_str.skb->end	0
PARAM_VALUE	0	channel->napi_str.skb->extensions	0
PARAM_VALUE	0	channel->napi_str.skb->fclone	0
PARAM_VALUE	0	channel->napi_str.skb->from_ingress	0
PARAM_VALUE	0	channel->napi_str.skb->hash	0
PARAM_VALUE	0	channel->napi_str.skb->hdr_len	0
PARAM_VALUE	0	channel->napi_str.skb->head_frag	1
PARAM_VALUE	0	channel->napi_str.skb->headers.csum	0
PARAM_VALUE	0	channel->napi_str.skb->headers.hash	0
PARAM_VALUE	0	channel->napi_str.skb->headers.l4_hash	0
PARAM_VALUE	0	channel->napi_str.skb->headers.mark	0
PARAM_VALUE	0	channel->napi_str.skb->headers.napi_id	0
PARAM_VALUE	0	channel->napi_str.skb->headers.nf_trace	0
PARAM_VALUE	0	channel->napi_str.skb->headers.no_fcs	0
PARAM_VALUE	0	channel->napi_str.skb->headers.ooo_okay	0
PARAM_VALUE	0	channel->napi_str.skb->headers.pkt_type	0
PARAM_VALUE	0	channel->napi_str.skb->headers.priority	0
PARAM_VALUE	0	channel->napi_str.skb->headers.protocol	0
PARAM_VALUE	0	channel->napi_str.skb->headers.secmark	0
PARAM_VALUE	0	channel->napi_str.skb->headers.skb_iif	0
PARAM_VALUE	0	channel->napi_str.skb->headers.slow_gro	0
PARAM_VALUE	0	channel->napi_str.skb->headers.sw_hash	0
PARAM_VALUE	0	channel->napi_str.skb->headers.tc_depth	0
PARAM_VALUE	0	channel->napi_str.skb->headers.tc_index	0
PARAM_VALUE	0	channel->napi_str.skb->headers.vlan_all	0
PARAM_VALUE	0	channel->napi_str.skb->headers.vlan_tci	0
PARAM_VALUE	0	channel->napi_str.skb->ignore_df	0
PARAM_VALUE	0	channel->napi_str.skb->inner_ipproto	0
PARAM_VALUE	0	channel->napi_str.skb->inner_mac_header	0
PARAM_VALUE	0	channel->napi_str.skb->inner_protocol	0
PARAM_VALUE	0	channel->napi_str.skb->ip_summed	0
PARAM_VALUE	0	channel->napi_str.skb->ipvs_property	0
PARAM_VALUE	0	channel->napi_str.skb->kcov_handle.val	0
PARAM_VALUE	0	channel->napi_str.skb->l4_hash	0
PARAM_VALUE	0	channel->napi_str.skb->len	0
PARAM_VALUE	0	channel->napi_str.skb->list.next	0
PARAM_VALUE	0	channel->napi_str.skb->list.prev	0
PARAM_VALUE	0	channel->napi_str.skb->ll_node.next	0
PARAM_VALUE	0	channel->napi_str.skb->mac_header	u16max
PARAM_VALUE	0	channel->napi_str.skb->mac_len	0
PARAM_VALUE	0	channel->napi_str.skb->mark	0
PARAM_VALUE	0	channel->napi_str.skb->napi_id	0
PARAM_VALUE	0	channel->napi_str.skb->ndisc_nodetype	0
PARAM_VALUE	0	channel->napi_str.skb->network_header	0
PARAM_VALUE	0	channel->napi_str.skb->next	0
PARAM_VALUE	0	channel->napi_str.skb->nf_skip_egress	0
PARAM_VALUE	0	channel->napi_str.skb->nf_trace	0
PARAM_VALUE	0	channel->napi_str.skb->no_fcs	0
PARAM_VALUE	0	channel->napi_str.skb->nohdr	0
PARAM_VALUE	0	channel->napi_str.skb->offload_fwd_mark	0
PARAM_VALUE	0	channel->napi_str.skb->ooo_okay	0
PARAM_VALUE	0	channel->napi_str.skb->peeked	0
PARAM_VALUE	0	channel->napi_str.skb->pkt_type	0
PARAM_VALUE	0	channel->napi_str.skb->pp_recycle	0
PARAM_VALUE	0	channel->napi_str.skb->prev	0
PARAM_VALUE	0	channel->napi_str.skb->priority	0
PARAM_VALUE	0	channel->napi_str.skb->protocol	0
PARAM_VALUE	0	channel->napi_str.skb->queue_mapping	0
PARAM_VALUE	0	channel->napi_str.skb->rbnode.rb_left	0
PARAM_VALUE	0	channel->napi_str.skb->rbnode.rb_right	0
PARAM_VALUE	0	channel->napi_str.skb->redirected	0
PARAM_VALUE	0	channel->napi_str.skb->remcsum_offload	0
PARAM_VALUE	0	channel->napi_str.skb->secmark	0
PARAM_VALUE	0	channel->napi_str.skb->sender_cpu	0
PARAM_VALUE	0	channel->napi_str.skb->sk	0
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->sk->sk_rcu.func	1-u64max
PARAM_VALUE	0	channel->napi_str.skb->skb_iif	0
PARAM_VALUE	0	channel->napi_str.skb->skb_mstamp_ns	0
PARAM_VALUE	0	channel->napi_str.skb->slow_gro	0
PARAM_VALUE	0	channel->napi_str.skb->sw_hash	0
PARAM_VALUE	0	channel->napi_str.skb->tail	64
PARAM_VALUE	0	channel->napi_str.skb->tc_at_ingress	0
PARAM_VALUE	0	channel->napi_str.skb->tc_depth	0
PARAM_VALUE	0	channel->napi_str.skb->tc_index	0
PARAM_VALUE	0	channel->napi_str.skb->tc_skip_classify	0
PARAM_VALUE	0	channel->napi_str.skb->transport_header	u16max
PARAM_VALUE	0	channel->napi_str.skb->truesize	0
PARAM_VALUE	0	channel->napi_str.skb->tstamp	0
PARAM_VALUE	0	channel->napi_str.skb->tstamp_type	0
PARAM_VALUE	0	channel->napi_str.skb->unreadable	0
PARAM_VALUE	0	channel->napi_str.skb->users.refs.counter	1
PARAM_VALUE	0	channel->napi_str.skb->vlan_all	0
PARAM_VALUE	0	channel->napi_str.skb->vlan_proto	0
PARAM_VALUE	0	channel->napi_str.skb->vlan_tci	0
PARAM_VALUE	0	channel->napi_str.skb->wifi_acked	0
PARAM_VALUE	0	channel->napi_str.skb->wifi_acked_valid	0
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	r ef4_rx_queue_channel
DATA_SOURCE	1	rx_buf	r ef4_rx_buffer
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