Documented in 1 files:

Defined in 1 files as a function:

Referenced in 38 files:

Smatch caller information:

net/tipc/link.c tipc_link_build_reset_msg() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 7521222884188319744,8069914181831122944
PARAM_VALUE 0 list_->prev 4096-ptr_max
DATA_SOURCE 0 list_ $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &n->lock
LOCK2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct tipc_node)->lock

net/tipc/link.c tipc_link_dump() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
BUF_SIZE 0 list_ 96
CAPPED_DATA 0 list_ 1

net/tipc/link.c tipc_link_dump() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
BUF_SIZE 0 list_ 96
CAPPED_DATA 0 list_ 1

net/tipc/link.c tipc_link_dump() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
BUF_SIZE 0 list_ 96
CAPPED_DATA 0 list_ 1

net/tipc/link.c tipc_link_dump() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
CAPPED_DATA 0 list_ 1

net/llc/llc_c_ev.c llc_util_nr_inside_tx_window() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/ulpqueue.c sctp_ulpq_renege_list() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
CAPPED_DATA 0 list_ 1
DATA_SOURCE 0 list_ $1

net/sctp/ulpqueue.c sctp_ulpq_renege_list() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
CAPPED_DATA 0 list_ 1
DATA_SOURCE 0 list_ $1

net/sctp/ulpqueue.c sctp_ulpq_store_ordered() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

net/sctp/ulpqueue.c sctp_ulpq_store_reasm() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max

drivers/net/wireless/intersil/p54/txrx.c p54_assign_address() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
UNITS 0 list_ unit_byte
LOCK2 &priv->tx_queue.lock
LOCK2 flags
HALF_LOCKED2 &priv->conf_mutex
HALF_LOCKED2 &priv->eeprom_mutex
TYPE_LOCK (struct sk_buff_head)->lock

drivers/net/wireless/morsemicro/mm81x/skbq.c mm81x_skbq_insert_pending() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max

net/mac80211/tx.c ieee80211_amsdu_aggregate() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &fq->lock
LOCK2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct fq)->lock

net/psp/psp_sock.c tcp_write_queue_tail() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &devlink->lock
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &dpll_lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &net_dm_mutex
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read

net/mac80211/rx.c ieee80211_rx_reorder_ready() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
BUF_SIZE 0 list_ 96
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &tid_agg_rx->reorder_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct tid_ampdu_rx)->reorder_lock

drivers/net/wireless/mediatek/mt76/mt7603/main.c mt7603_release_buffered_frames() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 7417859428194226176
PARAM_VALUE 0 list_->prev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 rcu_read

net/core/skbuff.c __msg_zerocopy_callback() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
BUF_SIZE 0 list_ 96
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 0 &list_->lock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct sk_buff_head)->lock

net/core/skbuff.c __skb_dequeue_tail() -> skb_peek_tail()

Type Parameter Key Value
BUF_SIZE 0 list_ (-1),96
BUF_SIZE 0 list_ (-1),96
DATA_SOURCE 0 list_ $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &list_->lock
HALF_LOCKED2 &bus->txq_lock
HALF_LOCKED2 &gsm->tx_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &port->ops_lock
HALF_LOCKED2 &shdlc->state_mutex
HALF_LOCKED2 bh
HALF_LOCKED2 flags
TYPE_LOCK (struct sk_buff_head)->lock

net/tipc/socket.c __tipc_sendstream() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
BUF_SIZE 0 list_ 96
CAPPED_DATA 0 list_ 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk
HALF_LOCKED2 &vq->mutex

net/tipc/socket.c tipc_sk_push_backlog() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
BUF_SIZE 0 list_ 96
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk

net/ipv4/tcp.c tcp_recvmsg_locked() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 list_ unit_byte
HALF_LOCKED2 sk

net/ipv4/tcp.c tcp_write_queue_tail() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

drivers/net/wireless/broadcom/brcm80211/brcmutil/utils.c brcmu_pktq_peek_tail() -> skb_peek_tail()

Type Parameter Key Value
PREEMPT_ADD
TASK_NOT_RUNNING
LOCK2 &bus->txq_lock
LOCK2 bh
TYPE_LOCK (struct brcmf_sdio)->txq_lock

net/core/neighbour.c neigh_probe() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &neigh->lock
HALF_LOCKED2 bh
TYPE_LOCK (struct neighbour)->lock

drivers/net/wireless/ath/ath10k/htt_rx.c ath10k_htt_rx_extract_amsdu() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 674900961949134848
PARAM_VALUE 0 list_->prev 4096-8985252860392775680
DATA_SOURCE 0 list_ $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &htt->rx_ring.lock
LOCK2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct ath10k_htt)->rx_ring.lock

drivers/net/wireless/ath/ath10k/htt_rx.c ath10k_htt_rx_h_mpdu() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 674900961949134848,2162693216325697536
PARAM_VALUE 0 list_->prev 4096-ptr_max
CAPPED_DATA 0 list_ 1
CAPPED_DATA 0 list_->next 1
DATA_SOURCE 0 list_ $1
PARAM_COMPARE 0 list_ != $0->next
PARAM_COMPARE 0 list_ != $0->next
RX_PATH
TASK_NOT_RUNNING
UNITS 0 list_ unit_byte
HALF_LOCKED2 &htt->rx_ring.lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/mac80211/mesh_ps.c mpsp_qos_null_append() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 3564490155335172096
PARAM_VALUE 0 list_->prev 4096-ptr_max
DATA_SOURCE 0 list_ $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

kernel/audit.c kauditd_send_queue() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 967447705051635712,6630231035781095424,7316629805646737408
DATA_SOURCE 0 list_ $2

net/ipv4/tcp_input.c tcp_ofo_queue() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_input.c tcp_queue_rcv() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

net/unix/af_unix.c unix_stream_data_wait() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING

net/tls/tls_device.c tcp_write_queue_tail() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk

net/bluetooth/hci_sync.c hci_req_sync_run() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 1476506971812102152
PARAM_VALUE 0 list_->prev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &hdev->req_lock
HALF_LOCKED2 &pool->lock

net/mptcp/protocol.c __mptcp_move_skb() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh

net/mptcp/protocol.c __mptcp_ofo_queue() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh

net/mptcp/protocol.c tcp_write_queue_tail() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &msk->fallback_lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh
HALF_LOCKED2 sk
HALF_LOCKED2 sk

drivers/net/wireless/broadcom/brcm80211/brcmsmac/ampdu.c brcms_c_ampdu_finalize() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &wl->lock
LOCK2 bh
TYPE_LOCK (struct brcms_info)->lock

drivers/net/wireless/broadcom/brcm80211/brcmfmac/fwsignal.c brcmf_fws_enq() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
BUF_SIZE 0 list_ 96
CAPPED_DATA 0 list_ 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &fws->spinlock
LOCK2 fws->flags
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct brcmf_fws_info)->spinlock

net/core/sock.c sk_wait_data() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

net/core/sock.c sk_wait_data() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk

net/tipc/msg.c __tipc_skb_queue_sorted() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
BUF_SIZE 0 list_ 96
CAPPED_DATA 0 list_ 1
DATA_SOURCE 0 list_ $0
PARAM_COMPARE 0 list_ != $0->next
PARAM_COMPARE 0 list_ != $0->next
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 list_->next->csum 0-65024[c]
HOST_DATA 0 list_->next->csum_offset 0-u16max
HOST_DATA 0 list_->next->data_len 0-u32max[c]
HOST_DATA 0 list_->next->len 0-u32max[c]
HOST_DATA 0 list_->next->prev->csum 0-65024[c]
HOST_DATA 0 list_->next->prev->csum_offset 0-u16max
HOST_DATA 0 list_->next->prev->data_len 0-u32max[c]
HOST_DATA 0 list_->next->prev->len 0-u32max[c]
HOST_DATA 0 list_->next->prev->truesize 0-u32max
HOST_DATA 0 list_->next->prev->users.refs.counter s32min-0,2-s32max
HOST_DATA 0 list_->next->truesize 0-u32max
HOST_DATA 0 list_->next->users.refs.counter s32min-0,2-s32max
HOST_DATA 0 list_->prev->csum 0-65024[c]
HOST_DATA 0 list_->prev->csum_offset 0-u16max
HOST_DATA 0 list_->prev->data_len 0-u32max[c]
HOST_DATA 0 list_->prev->len 0-u32max[c]
HOST_DATA 0 list_->prev->next->csum 0-65024[c]
HOST_DATA 0 list_->prev->next->csum_offset 0-u16max
HOST_DATA 0 list_->prev->next->data_len 0-u32max[c]
HOST_DATA 0 list_->prev->next->len 0-u32max[c]
HOST_DATA 0 list_->prev->next->truesize 0-u32max
HOST_DATA 0 list_->prev->next->users.refs.counter s32min-0,2-s32max
HOST_DATA 0 list_->prev->truesize 0-u32max
HOST_DATA 0 list_->prev->users.refs.counter s32min-0,2-s32max
NO_OVERFLOW_SIMPLE 0 list_->next->data_len
NO_OVERFLOW_SIMPLE 0 list_->next->end
NO_OVERFLOW_SIMPLE 0 list_->next->prev->data_len
NO_OVERFLOW_SIMPLE 0 list_->next->prev->end
NO_OVERFLOW_SIMPLE 0 list_->next->prev->truesize
NO_OVERFLOW_SIMPLE 0 list_->next->truesize
UNITS 0 list_ unit_byte
LOCK2 bh
HALF_LOCKED2 &le->lock
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read

net/tipc/msg.c tipc_msg_append() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
BUF_SIZE 0 list_ 96
CAPPED_DATA 0 list_ 1
DATA_SOURCE 0 list_ $4
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

net/sched/sch_skbprio.c __skb_dequeue_tail() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
DATA_SOURCE 0 list_ $0
RX_PATH
TASK_NOT_RUNNING

drivers/net/wireless/ath/ath12k/wifi7/dp_rx.c ath12k_wifi7_dp_rx_h_defrag() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &dp->dp_lock
LOCK2 &srng->lock
LOCK2 bh
LOCK2 rcu_read
HALF_LOCKED2 &ni->dev_lock
TYPE_LOCK (struct ath12k_dp)->dp_lock
TYPE_LOCK (struct hal_srng)->lock

net/vmw_vsock/virtio_transport_common.c virtio_transport_recv_enqueue() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &vvs->rx_lock
LOCK2 bh
LOCK2 sk
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 &vsock->rx_lock
TYPE_LOCK (struct virtio_vsock_sock)->rx_lock

net/tipc/trace.c tipc_list_dump() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
CAPPED_DATA 0 list_ 1
DATA_SOURCE 0 list_ $0

net/ipv6/ip6_output.c __ip6_append_data() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
DATA_SOURCE 0 list_ $1
RX_PATH
TASK_NOT_RUNNING

net/ipv6/ip6_output.c __skb_dequeue_tail() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
CAPPED_DATA 0 list_ 1
DATA_SOURCE 0 list_ $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

drivers/net/wireless/ath/carl9170/tx.c carl9170_tx_ampdu() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 5560594309139030016
PARAM_VALUE 0 list_->prev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read

net/sctp/stream_interleave.c sctp_intl_store_ordered() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max

net/sctp/stream_interleave.c sctp_intl_store_reasm() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max

net/sctp/stream_interleave.c sctp_intl_store_reasm_uo() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max

drivers/bluetooth/hci_h5.c __skb_dequeue_tail() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
DATA_SOURCE 0 list_ $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &h5->unack.lock
LOCK2 flags
TYPE_LOCK (struct sk_buff_head)->lock

drivers/bluetooth/hci_bcsp.c __skb_dequeue_tail() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
DATA_SOURCE 0 list_ $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &bcsp->unack.lock
LOCK2 flags
TYPE_LOCK (struct sk_buff_head)->lock

net/bluetooth/l2cap_core.c l2cap_tx_timestamp_seg() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 7971830146572820480
PARAM_VALUE 0 list_->prev 4096-ptr_max
DATA_SOURCE 0 list_ $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &chan->lock

net/tipc/name_distr.c named_distribute() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 7474831852463497216
PARAM_VALUE 0 list_->prev 4096-ptr_max
DATA_SOURCE 0 list_ $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &nt->cluster_scope_lock
LOCK2 bh
HALF_LOCKED2 &tn->node_list_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct name_table)->cluster_scope_lock

drivers/net/wireless/ath/ath11k/dp_rx.c ath11k_dp_rx_h_defrag() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &ab->base_lock
LOCK2 &srng->lock
LOCK2 bh
LOCK2 rcu_read
HALF_LOCKED2 &ni->dev_lock
TYPE_LOCK (struct ath11k_base)->base_lock
TYPE_LOCK (struct hal_srng)->lock

net/ipv4/tcp_output.c tcp_write_queue_tail() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

net/ipv4/ip_output.c __ip_append_data() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
DATA_SOURCE 0 list_ $2
RX_PATH
TASK_NOT_RUNNING

net/ipv4/ip_output.c __skb_dequeue_tail() -> skb_peek_tail()

Type Parameter Key Value
PARAM_VALUE 0 list_ 4096-ptr_max
CAPPED_DATA 0 list_ 1
DATA_SOURCE 0 list_ $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING