Documented in 1 files:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

net/tipc/node.c tipc_skb_queue_splice_tail() -> skb_queue_splice_tail()

Type Parameter Key Value
PARAM_VALUE 0 list 4073291586769772544
PARAM_VALUE 0 list->next 4073291586769772544
PARAM_VALUE 1 head 4096-ptr_max
DATA_SOURCE 0 list $0
DATA_SOURCE 1 head $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &n->lock
LOCK2 bh
LOCK2 1 &head->lock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct sk_buff_head)->lock
TYPE_LOCK (struct tipc_node)->lock

net/tipc/link.c link_prepare_wakeup() -> skb_queue_splice_tail()

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

net/tipc/link.c tipc_skb_queue_splice_tail() -> skb_queue_splice_tail()

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

net/mac80211/tx.c ieee80211_tx_dequeue() -> skb_queue_splice_tail()

Type Parameter Key Value
PARAM_VALUE 0 list 3841329709833531400
PARAM_VALUE 0 list->next 4096-3841329709833531399,3841329709833531401-ptr_max
PARAM_VALUE 0 list->prev 4096-ptr_max
PARAM_VALUE 1 head 4096-ptr_max
MEM_ZERO 0 list
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &fq->lock
LOCK2 bh
HALF_LOCKED2 &local->handle_wake_tx_queue_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &rtwdev->txq_lock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct fq)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 list 1476506971812102152
PARAM_VALUE 0 list->next 4096-1476506971812102151,1476506971812102153-ptr_max
PARAM_VALUE 0 list->prev 4096-ptr_max
PARAM_VALUE 1 head 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &hdev->cmd_q.lock
LOCK2 flags
HALF_LOCKED2 &hdev->req_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct sk_buff_head)->lock

drivers/net/wireguard/device.c wg_xmit() -> skb_queue_splice_tail()

Type Parameter Key Value
PARAM_VALUE 0 list 3071435091995373568
PARAM_VALUE 0 list->next 4096-ptr_max
PARAM_VALUE 0 list->prev 4096-ptr_max
PARAM_VALUE 1 head 4096-ptr_max
PARAM_VALUE 1 head->qlen 0-128
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &peer->staged_packet_queue.lock
LOCK2 bh
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct sk_buff_head)->lock

drivers/net/wireless/broadcom/brcm80211/brcmsmac/dma.c dma_rx() -> skb_queue_splice_tail()

Type Parameter Key Value
PARAM_VALUE 0 list 6968531025121193984
PARAM_VALUE 0 list->next 4096-ptr_max
PARAM_VALUE 0 list->prev 4096-ptr_max
PARAM_VALUE 1 head 1115747022175772672
PARAM_VALUE 1 head->prev 4096-ptr_max
DATA_SOURCE 1 head $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 list unit_byte
LOCK2 &wl->lock
LOCK2 bh
TYPE_LOCK (struct brcms_info)->lock

drivers/net/wireless/ath/ath9k/xmit.c ath_tx_complete_aggr() -> skb_queue_splice_tail()

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