Documented in 1 files:

Defined in 1 files as a function:

Referenced in 27 files:

Smatch caller information:

net/xfrm/xfrm_iptfs.c iptfs_delay_timer() -> skb_queue_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 head 6248339207923081216
PARAM_VALUE 1 head->next 6248339207923081216
PARAM_VALUE 1 head->qlen 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &x->lock
HALF_LOCKED2 irq
TYPE_LOCK (struct xfrm_state)->lock

net/xfrm/xfrm_iptfs.c iptfs_destroy_state() -> skb_queue_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 head 8037022216885194752
PARAM_VALUE 1 head->next 8037022216885194752
PARAM_VALUE 1 head->qlen 0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &xtfs->x->lock
LOCK2 bh
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct xfrm_state)->lock

net/tipc/link.c tipc_link_reset() -> skb_queue_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 head 8719648581788893184
PARAM_VALUE 1 head->next 8719648581788893184
PARAM_VALUE 1 head->qlen 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &l->wakeupq.lock
LOCK2 bh
HALF_LOCKED2 &n->lock
TYPE_LOCK (struct sk_buff_head)->lock

net/tipc/link.c tipc_link_reset() -> skb_queue_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 list 8719648581788893184
PARAM_VALUE 0 list->prev 8719648581788893184
PARAM_VALUE 1 head 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 head->next->prev->end
NO_OVERFLOW_SIMPLE 1 head->next->prev->tail
LOCK2 bh
LOCK2 1 &head->lock
HALF_LOCKED2 &n->lock
TYPE_LOCK (struct sk_buff_head)->lock

net/tipc/link.c tipc_link_tnl_prepare() -> skb_queue_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 head 4096-ptr_max
PARAM_VALUE 1 head->next 4096-ptr_max
BUF_SIZE 1 head 96
CAPPED_DATA 1 head 1
CAPPED_DATA 1 head->next 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &n->lock
LOCK2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct tipc_node)->lock

drivers/net/wireless/realtek/rtw89/fw.c rtw89_fw_c2h_purge_obsoleted_scan_events() -> skb_queue_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 head 1989065988211593216
PARAM_VALUE 1 head->next 1989065988211593216
PARAM_VALUE 1 head->qlen 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &rtwdev->c2h_queue.lock
LOCK2 flags
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct sk_buff_head)->lock

drivers/net/wireless/realtek/rtw89/fw.c rtw89_fw_c2h_work() -> skb_queue_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 head 7440700699491393536
PARAM_VALUE 1 head->next 7440700699491393536
PARAM_VALUE 1 head->qlen 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &rtwdev->c2h_queue.lock
LOCK2 flags
HALF_LOCKED2 &rdev->wiphy.mtx
TYPE_LOCK (struct sk_buff_head)->lock

net/mac80211/tx.c ieee80211_tx_frags() -> skb_queue_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 list 1954162926638374912,1956726547587280904
PARAM_VALUE 0 list->next 4096-ptr_max
PARAM_VALUE 0 list->prev 4096-ptr_max
PARAM_VALUE 1 head 4096-ptr_max
CAPPED_DATA 0 list 1
CAPPED_DATA 0 list->next 1
DATA_SOURCE 0 list $3
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &local->queue_stop_reason_lock
LOCK2 flags
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct ieee80211_local)->queue_stop_reason_lock

drivers/net/ethernet/chelsio/cxgb3/l2t.c t3_l2t_update() -> skb_queue_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 head 7755059893172072448
PARAM_VALUE 1 head->next 7755059893172072448
PARAM_VALUE 1 head->qlen 0
NOCHECK_CALL
LOCK2 &e->lock
LOCK2 bh
TYPE_LOCK (struct l2t_entry)->lock

net/vmw_vsock/vsock_loopback.c vsock_loopback_work() -> skb_queue_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 head 8803961440238858240
PARAM_VALUE 1 head->next 4096-ptr_max
PARAM_VALUE 1 head->qlen 0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &vsock->pkt_queue.lock
LOCK2 bh
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct sk_buff_head)->lock

net/core/skbuff.c skb_queue_purge_reason() -> skb_queue_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 head 2011684551238094848
PARAM_VALUE 1 head->next 2011684551238094848
PARAM_VALUE 1 head->qlen 0
DATA_SOURCE 0 list $0
PARAM_COMPARE 0 list != $0->next
PARAM_COMPARE 0 list != $0->next
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &list->lock
TYPE_LOCK (struct sk_buff_head)->lock

drivers/net/ethernet/chelsio/cxgb3/sge.c ofld_poll() -> skb_queue_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 head 7952158945152655360
PARAM_VALUE 1 head->next 7952158945152655360
PARAM_VALUE 1 head->qlen 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &q->lock
LOCK2 irq
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct sge_rspq)->lock

net/mac80211/mesh_pathtbl.c mesh_path_move_to_queue() -> skb_queue_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 head 5236091535878811648
PARAM_VALUE 1 head->next 5236091535878811648
PARAM_VALUE 1 head->qlen 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &from_mpath->frame_queue.lock
LOCK2 flags
LOCK2 rcu_read
TYPE_LOCK (struct sk_buff_head)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 list 674900961949134848
PARAM_VALUE 0 list->next 4096-8985252860392775680
PARAM_VALUE 0 list->prev 4096-8985252860392775680
PARAM_VALUE 1 head 8985252860392775680
PARAM_VALUE 1 head->next 4096-8985252860392775679,8985252860392775681-ptr_max
DATA_SOURCE 0 list $2
DATA_SOURCE 1 head $1
PARAM_COMPARE 1 head != $1->next
PARAM_COMPARE 1 head != $1->next
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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_txrx_compl_task() -> skb_queue_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 head 1862999269183381504
PARAM_VALUE 1 head->next 1862999269183381504
PARAM_VALUE 1 head->qlen 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &htt->tx_fetch_ind_q.lock
LOCK2 flags
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct sk_buff_head)->lock

drivers/net/wireless/intel/iwlwifi/pcie/gen1_2/tx.c iwl_pcie_reclaim() -> skb_queue_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 head 314106808121315328,1484843406117097472,5293808541459329024,5800991937386569728,6115211255310327808,6418347204261314560,8979517577069375488
PARAM_VALUE 1 head->next 4096-ptr_max
BUF_SIZE 1 head (-1),96
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &txq->lock
LOCK2 &txq->reclaim_lock
LOCK2 bh
HALF_LOCKED2 &priv->sta_lock
HALF_LOCKED2 &rxq->lock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct iwl_txq)->lock
TYPE_LOCK (struct iwl_txq)->reclaim_lock

drivers/scsi/fcoe/fcoe.c fcoe_receive_work() -> skb_queue_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 head 3317316561003966464
PARAM_VALUE 1 head->next 4096-ptr_max
PARAM_VALUE 1 head->qlen 0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &p->fcoe_rx_list.lock
LOCK2 bh
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct sk_buff_head)->lock

drivers/net/wireguard/send.c wg_packet_send_staged_packets() -> skb_queue_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 head 8628176513917739008
PARAM_VALUE 1 head->next 8628176513917739008
PARAM_VALUE 1 head->qlen 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &peer->staged_packet_queue.lock
LOCK2 bh
HALF_LOCKED2 &wg->device_update_lock
HALF_LOCKED2 &wg->static_identity.lock
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct sk_buff_head)->lock

drivers/net/ethernet/ti/cpts.c cpts_match_tx_ts() -> skb_queue_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 head 8928500808798117888
PARAM_VALUE 1 head->next 8928500808798117888
PARAM_VALUE 1 head->qlen 0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &cpts->ptp_clk_mutex
LOCK2 &cpts->txq.lock
LOCK2 flags
TYPE_LOCK (struct cpts)->ptp_clk_mutex
TYPE_LOCK (struct sk_buff_head)->lock

drivers/net/usb/lan78xx.c lan78xx_bh() -> skb_queue_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 head 2167202329180147712
PARAM_VALUE 1 head->next 2167202329180147712
PARAM_VALUE 1 head->qlen 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->rxq_done.lock
LOCK2 flags
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct sk_buff_head)->lock

drivers/net/usb/r8152.c r8152_tx_agg_fill() -> skb_queue_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 head 2962894155746627584
PARAM_VALUE 1 head->next 2962894155746627584
PARAM_VALUE 1 head->qlen 0
BUF_SIZE 0 list 96
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &list->lock
HALF_LOCKED2 bh
TYPE_LOCK (struct sk_buff_head)->lock

drivers/net/usb/r8152.c rtl_drop_queued_tx() -> skb_queue_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 head 9009012448395104256
PARAM_VALUE 1 head->next 9009012448395104256
PARAM_VALUE 1 head->qlen 0
BUF_SIZE 0 list 96
CAPPED_DATA 0 list 1
PARAM_COMPARE 0 list != $0->next
PARAM_COMPARE 0 list != $0->next
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 0 &list->lock
HALF_LOCKED2 &tp->control
TYPE_LOCK (struct sk_buff_head)->lock

net/xfrm/xfrm_input.c xfrm_trans_reinject() -> skb_queue_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 head 1925431090083332096
PARAM_VALUE 1 head->next 1925431090083332096
PARAM_VALUE 1 head->qlen 0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &trans->queue_lock
LOCK2 bh
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct xfrm_trans_tasklet)->queue_lock

net/xfrm/espintcp.c espintcp_release() -> skb_queue_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 head 6767893573986877440
PARAM_VALUE 1 head->next 6767893573986877440
PARAM_VALUE 1 head->qlen 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh

drivers/target/iscsi/cxgbit/cxgbit_target.c cxgbit_rxq_len() -> skb_queue_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 0 list->qlen 1-u32max
PARAM_VALUE 1 head 205142483334131712
PARAM_VALUE 1 head->next 4096-ptr_max
PARAM_VALUE 1 head->qlen 0
DATA_SOURCE 1 head $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &csk->rxq.lock
LOCK2 bh
TYPE_LOCK (struct sk_buff_head)->lock

drivers/target/iscsi/cxgbit/cxgbit_target.c cxgbit_unlock_sock() -> skb_queue_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 0 list->qlen 1-u32max
PARAM_VALUE 1 head 6684950210016067584
PREEMPT_ADD <- disables preempt
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &csk->lock
LOCK2 bh
TYPE_LOCK (struct cxgbit_sock)->lock

net/unix/garbage.c unix_collect_skb() -> skb_queue_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 head 2487864151772860416
BUF_SIZE 0 list 96
DATA_SOURCE 1 head $1
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &queue->lock
LOCK2 global &unix_gc_lock
LOCK2 0 &list->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct sk_buff_head)->lock

net/unix/garbage.c unix_collect_skb() -> skb_queue_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 head 2487864151772860416
BUF_SIZE 0 list 96
DATA_SOURCE 1 head $1
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 global &unix_gc_lock
LOCK2 0 &list->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct sk_buff_head)->lock

drivers/net/wireless/ath/ath9k/xmit.c ath_txq_unlock_complete() -> skb_queue_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 head 181362484908085248
PARAM_VALUE 1 head->next 181362484908085248
PARAM_VALUE 1 head->qlen 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &txq->axq_lock
LOCK2 bh
HALF_LOCKED2 &sc->mutex
HALF_LOCKED2 &sc->sc_pcu_lock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct ath_txq)->axq_lock

drivers/net/ovpn/tcp.c ovpn_tcp_release() -> skb_queue_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 head 7875438053957922816
PARAM_VALUE 1 head->next 7875438053957922816
PARAM_VALUE 1 head->qlen 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh

net/xfrm/xfrm_device.c xfrm_dev_backlog() -> skb_queue_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 head 3078195089508352000
PARAM_VALUE 1 head->next 3078195089508352000
PARAM_VALUE 1 head->qlen 0
BUF_SIZE 0 list 96
CAPPED_DATA 0 list 1
PARAM_COMPARE 0 list != $0->next
PARAM_COMPARE 0 list != $0->next
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 0 &list->lock
TYPE_LOCK (struct sk_buff_head)->lock

drivers/net/wireless/mediatek/mt7601u/dma.c mt7601u_tx_tasklet() -> skb_queue_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 head 1638784510678810624
PARAM_VALUE 1 head->next 1638784510678810624
PARAM_VALUE 1 head->qlen 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->tx_lock
LOCK2 flags
HALF_LOCKED2 bh
TYPE_LOCK (struct mt7601u_dev)->tx_lock

net/xfrm/xfrm_policy.c xfrm_policy_queue_process() -> skb_queue_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 head 2243104170825736192
PARAM_VALUE 1 head->next 2243104170825736192
PARAM_VALUE 1 head->qlen 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &pq->hold_queue.lock
TYPE_LOCK (struct sk_buff_head)->lock

net/xfrm/xfrm_policy.c xfrm_policy_requeue() -> skb_queue_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 head 8491099625295425536
PARAM_VALUE 1 head->next 8491099625295425536
PARAM_VALUE 1 head->qlen 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &net->xfrm.xfrm_policy_lock
LOCK2 &pq->hold_queue.lock
LOCK2 bh
TYPE_LOCK (struct netns_xfrm)->xfrm_policy_lock
TYPE_LOCK (struct sk_buff_head)->lock

net/atm/common.c vcc_process_recv_queue() -> skb_queue_splice_init()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 head 195435803360489472
PARAM_VALUE 1 head->next 195435803360489472
PARAM_VALUE 1 head->qlen 0
BUF_SIZE 0 list 96
CAPABLE 0 12
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 flags
LOCK2 global &ioctl_mutex
LOCK2 0 &list->lock
TYPE_LOCK (struct sk_buff_head)->lock