Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 9 files:

Smatch caller information:

drivers/net/wireless/ath/ath10k/htc.c ath10k_htc_send_bundle() -> skb_dequeue_tail()

Type Parameter Key Value
PARAM_VALUE 0 list 6669616349056491520
PARAM_VALUE 0 list->next 4096-ptr_max
PARAM_VALUE 0 list->prev 4096-ptr_max
DATA_SOURCE 0 list $2
HALF_LOCKED2 &pool->lock

drivers/net/wireless/ath/ath10k/htc.c ath10k_htc_send_bundle() -> skb_dequeue_tail()

Type Parameter Key Value
PARAM_VALUE 0 list 6669616349056491520
PARAM_VALUE 0 list->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 list->next 4096-ptr_max
PARAM_VALUE 0 list->prev 4096-ptr_max
DATA_SOURCE 0 list $2
HALF_LOCKED2 &pool->lock

net/nfc/hci/llc_shdlc.c llc_shdlc_requeue_ack_pending() -> skb_dequeue_tail()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
LOCK2 &shdlc->state_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct llc_shdlc)->state_mutex

net/nfc/hci/llc_shdlc.c llc_shdlc_requeue_ack_pending() -> skb_dequeue_tail()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
LOCK2 &shdlc->state_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct llc_shdlc)->state_mutex

drivers/net/ethernet/microsoft/mana/mana_en.c mana_start_xmit() -> skb_dequeue_tail()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 0 list->next 4096-ptr_max
PARAM_VALUE 0 list->prev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ndev->tx_global_lock
HALF_LOCKED2 &ndevtxq->_xmit_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/tty/n_gsm.c gsm_dlci_data_output_framed() -> skb_dequeue_tail()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &gsm->tx_lock
LOCK2 flags
HALF_LOCKED2 &dlci->gsm->tx_lock
TYPE_LOCK (struct gsm_mux)->tx_lock

drivers/net/wireless/broadcom/brcm80211/brcmutil/utils.c brcmu_pktq_pdeq_tail() -> skb_dequeue_tail()

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

drivers/nfc/st-nci/ndlc.c llt_ndlc_requeue_data_pending() -> skb_dequeue_tail()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 0 list->next 4096-ptr_max
PARAM_VALUE 0 list->prev 4096-ptr_max
HALF_LOCKED2 &pool->lock

drivers/nfc/st-nci/ndlc.c llt_ndlc_requeue_data_pending() -> skb_dequeue_tail()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 0 list->next 4096-ptr_max
PARAM_VALUE 0 list->prev 4096-ptr_max
HALF_LOCKED2 &pool->lock

drivers/net/wwan/iosm/iosm_ipc_imem_ops.c ipc_imem_sys_cdev_write() -> skb_dequeue_tail()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 0 list->next 4096-ptr_max
PARAM_VALUE 0 list->prev 4096-ptr_max
NOCHECK_CALL
LOCK2 &port->ops_lock
HALF_LOCKED2 &gdev->rwsem
HALF_LOCKED2 &gdev->write_mutex
TYPE_LOCK (struct wwan_port)->ops_lock