Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/alibaba/eea/eea_rx.c eea_poll() -> eea_rx_post()

Type Parameter Key Value
PARAM_VALUE 0 rx 4096-ptr_max
PARAM_VALUE 0 rx->enet->tx 4096-ptr_max
PARAM_VALUE 0 rx->ering 4096-ptr_max
PARAM_VALUE 0 rx->ering->cq.phase 0,128
PARAM_VALUE 0 rx->ering->num_free 1-u32max
PARAM_VALUE 0 rx->free 4096-ptr_max
PARAM_VALUE 0 rx->napi->gro.rx_list.next->next 4096-ptr_max
PARAM_VALUE 0 rx->napi->gro.rx_list.next->prev 4096-ptr_max
PARAM_VALUE 0 rx->napi->gro.rx_list.prev->next 4096-ptr_max
PARAM_VALUE 0 rx->napi->gro.rx_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 rx->napi->gro.rx_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 rx->pkt.head_skb 0,4096-ptr_max
PARAM_VALUE 0 rx->pkt.head_skb->_sk_redir 0
PARAM_VALUE 0 rx->pkt.head_skb->alloc_cpu 0
PARAM_VALUE 0 rx->pkt.head_skb->csum_complete_sw 0
PARAM_VALUE 0 rx->pkt.head_skb->csum_not_inet 0
PARAM_VALUE 0 rx->pkt.head_skb->csum_offset 0
PARAM_VALUE 0 rx->pkt.head_skb->csum_valid 0
PARAM_VALUE 0 rx->pkt.head_skb->decrypted 0
PARAM_VALUE 0 rx->pkt.head_skb->dev->flags 1-u32max
PARAM_VALUE 0 rx->pkt.head_skb->dev_scratch 0
PARAM_VALUE 0 rx->pkt.head_skb->dst_pending_confirm 0
PARAM_VALUE 0 rx->pkt.head_skb->encap_hdr_csum 0
PARAM_VALUE 0 rx->pkt.head_skb->encapsulation 0
PARAM_VALUE 0 rx->pkt.head_skb->fclone 0
PARAM_VALUE 0 rx->pkt.head_skb->from_ingress 0
PARAM_VALUE 0 rx->pkt.head_skb->hash 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.alloc_cpu 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.csum 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.csum_level 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.csum_not_inet 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.csum_offset 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.csum_start 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.csum_valid 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.decrypted 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.encapsulation 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.from_ingress 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.hash 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.ignore_df 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.inner_ipproto 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.ip_summed 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.ipvs_property 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.l4_hash 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.mac_header 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.mark 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.napi_id 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.nf_trace 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.no_fcs 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.ooo_okay 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.pkt_type 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.priority 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.protocol 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.redirected 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.secmark 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.sender_cpu 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.skb_iif 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.slow_gro 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.sw_hash 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.tc_at_ingress 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.tc_depth 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.tc_index 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.tstamp_type 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.unreadable 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.vlan_all 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.vlan_proto 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.vlan_tci 0
PARAM_VALUE 0 rx->pkt.head_skb->headers.wifi_acked 0
PARAM_VALUE 0 rx->pkt.head_skb->inner_ipproto 0
PARAM_VALUE 0 rx->pkt.head_skb->inner_protocol 0
PARAM_VALUE 0 rx->pkt.head_skb->inner_protocol_type 0
PARAM_VALUE 0 rx->pkt.head_skb->kcov_handle.val 0
PARAM_VALUE 0 rx->pkt.head_skb->l4_hash 0
PARAM_VALUE 0 rx->pkt.head_skb->list.next 0,4096-ptr_max
PARAM_VALUE 0 rx->pkt.head_skb->ll_node.next 0
PARAM_VALUE 0 rx->pkt.head_skb->ndisc_nodetype 0
PARAM_VALUE 0 rx->pkt.head_skb->nf_skip_egress 0
PARAM_VALUE 0 rx->pkt.head_skb->no_fcs 0
PARAM_VALUE 0 rx->pkt.head_skb->ooo_okay 0
PARAM_VALUE 0 rx->pkt.head_skb->peeked 0
PARAM_VALUE 0 rx->pkt.head_skb->prev 0,4096-ptr_max
PARAM_VALUE 0 rx->pkt.head_skb->priority 0
PARAM_VALUE 0 rx->pkt.head_skb->rbnode.rb_left 0
PARAM_VALUE 0 rx->pkt.head_skb->rbnode.rb_right 0
PARAM_VALUE 0 rx->pkt.head_skb->redirected 0
PARAM_VALUE 0 rx->pkt.head_skb->reserved_tailroom 0
PARAM_VALUE 0 rx->pkt.head_skb->secmark 0
PARAM_VALUE 0 rx->pkt.head_skb->sender_cpu 0
PARAM_VALUE 0 rx->pkt.head_skb->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 rx->pkt.head_skb->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 rx->pkt.head_skb->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 rx->pkt.head_skb->sk->sk_bpf_storage->owner_refcnt.refs.counter s32min-s32max
PARAM_VALUE 0 rx->pkt.head_skb->sk->sk_callback_lock.owner (-1)
PARAM_VALUE 0 rx->pkt.head_skb->sk->sk_callback_lock.owner_cpu 4294967295
PARAM_VALUE 0 rx->pkt.head_skb->sk->sk_owner->refcnt.counter 0-s32max
PARAM_VALUE 0 rx->pkt.head_skb->sk->sk_prot_creator->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 rx->pkt.head_skb->sw_hash 0
PARAM_VALUE 0 rx->pkt.head_skb->tc_at_ingress 0
PARAM_VALUE 0 rx->pkt.head_skb->tc_depth 0
PARAM_VALUE 0 rx->pkt.head_skb->tc_index 0
PARAM_VALUE 0 rx->pkt.head_skb->tc_skip_classify 0
PARAM_VALUE 0 rx->pkt.head_skb->tstamp_type 0
PARAM_VALUE 0 rx->pkt.head_skb->vlan_all 0
PARAM_VALUE 0 rx->pkt.head_skb->vlan_proto 0
PARAM_VALUE 0 rx->pkt.head_skb->vlan_tci 0
PARAM_VALUE 0 rx->pkt.head_skb->wifi_acked 0
PARAM_VALUE 0 rx->pkt.head_skb->wifi_acked_valid 0
PARAM_VALUE 0 *rx->enet->netdev->name 0-255
PARAM_VALUE 0 *rx->pkt.head_skb->dev->name 0-255
PARAM_VALUE 1 ctx 2865254338883424256
PARAM_VALUE 1 ctx->hdr_len 0-1023
PARAM_VALUE 1 ctx->len 0-u16max
PARAM_VALUE 1 ctx->meta 0,4096-ptr_max
PARAM_VALUE 1 ctx->stats.kicks 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read