Documented in 1 files:
Defined in 1 files as a function:
Referenced in 23 files:
- drivers/net/can/dev/rx-offload.c, line 101
- drivers/net/ethernet/netronome/nfp/nfd3/dp.c, line 1225
- drivers/net/ethernet/netronome/nfp/nfdk/dp.c, line 1338
- drivers/net/usb/lan78xx.c, line 3702
- drivers/net/usb/r8152.c
- drivers/net/wireless/ath/ath10k/htt_rx.c
- drivers/net/wireless/ath/ath6kl/debug.c
- drivers/net/wireless/ath/carl9170/tx.c, line 1446
- drivers/net/wireless/ath/wcn36xx/txrx.c, line 253
- drivers/net/wireless/intersil/p54/txrx.c, line 145
- drivers/net/wireless/morsemicro/mm81x/skbq.c, line 108
- drivers/net/xen-netfront.c, line 1324
- drivers/scsi/fcoe/fcoe_transport.c, line 423
- include/linux/virtio_vsock.h, line 98
- include/net/sch_generic.h, line 1301
- net/bluetooth/hci_core.c, line 3978
- net/core/skbuff.c, line 4094
- net/sched/sch_codel.c, line 104
- net/sched/sch_dualpi2.c, line 641
- net/sched/sch_fq_codel.c, line 355
- net/tipc/msg.c, line 841
- net/tipc/socket.c, line 2781
- net/tls/tls_sw.c
Smatch caller information:
drivers/net/can/dev/rx-offload.c __skb_queue_add_sort() -> __skb_queue_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list | 4096-ptr_max |
| PARAM_VALUE | 1 | newsk | 4096-ptr_max |
| BUF_SIZE | 1 | newsk | (-1)-s32max |
| BUF_SIZE | 1 | newsk | (-1)-s32max |
| CAPPED_DATA | 0 | list | 1 |
| DATA_SOURCE | 0 | list | $0 |
| DATA_SOURCE | 1 | newsk | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | list | unit_byte |
drivers/net/wireless/intersil/p54/txrx.c p54_assign_address() -> __skb_queue_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list | 4096-ptr_max |
| PARAM_VALUE | 0 | list->qlen | 0-31,33-u32max |
| PARAM_VALUE | 1 | newsk | 4096-ptr_max |
| PARAM_VALUE | 1 | newsk->next | 0 |
| PARAM_VALUE | 1 | newsk->prev | 0 |
| DATA_SOURCE | 1 | newsk | $1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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_put() -> __skb_queue_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list | 4096-ptr_max |
| PARAM_VALUE | 1 | newsk | 4096-ptr_max |
| PARAM_VALUE | 1 | newsk->next | 0 |
| PARAM_VALUE | 1 | newsk->prev | 0 |
| CAPPED_DATA | 0 | list | 1 |
| CAPPED_DATA | 1 | newsk->len | 1 |
| DATA_SOURCE | 0 | list | $1 |
| DATA_SOURCE | 1 | newsk | $2 |
| PREEMPT_ADD | |||
| NOCHECK_CALL | |||
| UNITS | 1 | newsk | unit_byte |
| LOCK2 | &mq->lock | ||
| LOCK2 | bh | ||
| TYPE_LOCK | (struct mm81x_skbq)->lock |
drivers/net/ethernet/netronome/nfp/nfd3/dp.c nfp_nfd3_ctrl_tx_one() -> __skb_queue_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | newsk | 4096-ptr_max |
| PARAM_VALUE | 1 | newsk->next | 0 |
| PARAM_VALUE | 1 | newsk->prev | 0 |
| DATA_SOURCE | 1 | newsk | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &r_vec->lock | ||
| HALF_LOCKED2 | bh | ||
| TYPE_LOCK | (struct nfp_net_r_vector)->lock |
drivers/net/xen-netfront.c xennet_poll() -> __skb_queue_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list | 7017782652513509376 |
| PARAM_VALUE | 0 | list->next | 4096-ptr_max |
| PARAM_VALUE | 1 | newsk | 0,4096-7017782652513509376 |
| PARAM_VALUE | 1 | newsk->next | 0 |
| PARAM_VALUE | 1 | newsk->prev | 0 |
| DATA_SOURCE | 1 | newsk | r __skb_dequeue |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &queue->rx_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct netfront_queue)->rx_lock |
drivers/net/ethernet/netronome/nfp/nfdk/dp.c nfp_nfdk_ctrl_tx_one() -> __skb_queue_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | newsk | 4096-ptr_max |
| PARAM_VALUE | 1 | newsk->next | 0 |
| PARAM_VALUE | 1 | newsk->prev | 0 |
| DATA_SOURCE | 1 | newsk | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &r_vec->lock | ||
| HALF_LOCKED2 | bh | ||
| TYPE_LOCK | (struct nfp_net_r_vector)->lock |
net/core/skbuff.c skb_queue_head() -> __skb_queue_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | newsk | 0,4096-ptr_max |
| BUF_SIZE | 0 | list | (-1)-0,96 |
| BUF_SIZE | 0 | list | (-1)-0,96 |
| BUF_SIZE | 1 | newsk | (-1)-s32max |
| BUF_SIZE | 1 | newsk | (-1)-s32max |
| CAPPED_DATA | 1 | newsk | 1 |
| DATA_SOURCE | 0 | list | $0 |
| DATA_SOURCE | 1 | newsk | $1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | newsk->csum | 0-126976[c] |
| HOST_DATA | 1 | newsk->csum_offset | 0-u16max |
| HOST_DATA | 1 | newsk->data_len | 0-u32max[c] |
| HOST_DATA | 1 | newsk->len | 0-u32max[c] |
| HOST_DATA | 1 | newsk->next->csum_offset | 0-u16max |
| HOST_DATA | 1 | newsk->next->data_len | 0-u32max[c] |
| HOST_DATA | 1 | newsk->next->len | 1-u32max[c] |
| HOST_DATA | 1 | newsk->prev->csum_offset | 0-u16max |
| HOST_DATA | 1 | newsk->prev->data_len | 0-u32max[c] |
| HOST_DATA | 1 | newsk->prev->len | 0-u32max[c] |
| HOST_DATA | 1 | newsk->prev->truesize | 0-u32max |
| HOST_DATA | 1 | newsk->prev->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 1 | newsk->prev->users.refs.counter | s32min-0,2-s32max |
| HOST_DATA | 1 | newsk->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 1 | newsk->users.refs.counter | s32min-0,2-s32max |
| HOST_DATA | 1 | *newsk->data | 0-255 |
| NO_OVERFLOW_SIMPLE | 1 | newsk->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->dev->group | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->dev->num_tc | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->dev->proto_down | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->dev->real_num_rx_queues | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->dev->real_num_tx_queues | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->dev->stats.rx_bytes | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->dev->stats.tx_bytes | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->dev->tx_queue_len | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->end | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->extensions | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->len | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->next->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->next->end | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->next->len | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->prev->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->prev->end | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->sk->sk_backlog.len | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->tail | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->truesize | |
| UNITS | 0 | list | unit_byte |
| UNITS | 1 | newsk | unit_byte |
| LOCK2 | flags | ||
| LOCK2 | 0 | &list->lock | |
| HALF_LOCKED2 | &bcsp->unack.lock | ||
| HALF_LOCKED2 | &commonring->lock | ||
| HALF_LOCKED2 | &data->lock | ||
| HALF_LOCKED2 | &data->open_mutex | ||
| HALF_LOCKED2 | &fws->spinlock | ||
| HALF_LOCKED2 | &h5->unack.lock | ||
| HALF_LOCKED2 | &idev->hu_lock | ||
| HALF_LOCKED2 | &lapb->lock | ||
| HALF_LOCKED2 | &local->queue_stop_reason_lock | ||
| HALF_LOCKED2 | &mux->rx_lock | ||
| HALF_LOCKED2 | &pch->downl | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &ppp->wlock | ||
| HALF_LOCKED2 | &shdlc->state_mutex | ||
| HALF_LOCKED2 | &skb_queue->lock | ||
| HALF_LOCKED2 | &wl->mutex | ||
| HALF_LOCKED2 | Flags | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | fws->flags | ||
| HALF_LOCKED2 | global &rfcomm_mutex | ||
| HALF_LOCKED2 | rcu_read | ||
| HALF_LOCKED2 | sk | ||
| TYPE_LOCK | (struct sk_buff_head)->lock |
net/tipc/socket.c tipc_accept() -> __skb_queue_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list | 4096-ptr_max |
| PARAM_VALUE | 0 | list->next | 4096-ptr_max |
| PARAM_VALUE | 1 | newsk | 4096-ptr_max |
| DATA_SOURCE | 1 | newsk | r skb_peek |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | new_sk | ||
| LOCK2 | sk |
net/sched/sch_dualpi2.c dualpi2_peek() -> __skb_queue_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list | 4096-ptr_max |
| PARAM_VALUE | 1 | newsk | 4096-ptr_max |
| PARAM_VALUE | 1 | newsk->next | 0 |
| DATA_SOURCE | 1 | newsk | r __dualpi2_qdisc_dequeue |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | rcu_read |
drivers/net/wireless/ath/ath10k/htt_rx.c ath10k_unchain_msdu() -> __skb_queue_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list | 2162693216325697536 |
| PARAM_VALUE | 0 | list->next | 4096-ptr_max |
| PARAM_VALUE | 1 | newsk | 4096-2162693216325697536 |
| PARAM_VALUE | 1 | newsk->next | 0 |
| PARAM_VALUE | 1 | newsk->prev | 0 |
| DATA_SOURCE | 0 | list | $0 |
| DATA_SOURCE | 1 | newsk | r __skb_dequeue |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | list | unit_byte |
| HALF_LOCKED2 | rcu_read |
drivers/net/wireless/ath/ath10k/htt_rx.c ath10k_unchain_msdu() -> __skb_queue_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list | 2162693216325697536 |
| PARAM_VALUE | 0 | list->next | 4096-ptr_max |
| PARAM_VALUE | 1 | newsk | 4096-2162693216325697536 |
| PARAM_VALUE | 1 | newsk->next | 0 |
| PARAM_VALUE | 1 | newsk->prev | 0 |
| DATA_SOURCE | 0 | list | $0 |
| DATA_SOURCE | 1 | newsk | r __skb_dequeue |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | list | unit_byte |
| HALF_LOCKED2 | rcu_read |
drivers/scsi/fcoe/fcoe_transport.c fcoe_check_wait_queue() -> __skb_queue_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list | 4096-ptr_max |
| PARAM_VALUE | 1 | newsk | 4096-ptr_max |
| PARAM_VALUE | 1 | newsk->next | 0 |
| PARAM_VALUE | 1 | newsk->prev | 0 |
| DATA_SOURCE | 1 | newsk | r __skb_dequeue |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | newsk->tail | |
| LOCK2 | &port->fcoe_pending_queue.lock | ||
| LOCK2 | bh | ||
| TYPE_LOCK | (struct sk_buff_head)->lock |
net/tls/tls_sw.c tls_sw_read_sock() -> __skb_queue_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | sk |
net/tls/tls_sw.c tls_sw_read_sock() -> __skb_queue_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | sk |
net/tls/tls_sw.c tls_sw_splice_read() -> __skb_queue_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list | 4096-ptr_max |
| PARAM_VALUE | 0 | list->next | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | sk |
drivers/net/usb/lan78xx.c lan78xx_tx_pend_skb_head_add() -> __skb_queue_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list | 4096-ptr_max |
| PARAM_VALUE | 1 | newsk | 4096-ptr_max |
| DATA_SOURCE | 1 | newsk | $1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &dev->txq_pend.lock | ||
| LOCK2 | flags | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct sk_buff_head)->lock |
drivers/net/usb/r8152.c r8152_csum_workaround() -> __skb_queue_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list | 2962894155746627584 |
| PARAM_VALUE | 1 | newsk | 4096-2962894155746627584 |
| PARAM_VALUE | 1 | newsk->next | 0 |
| PARAM_VALUE | 1 | newsk->prev | 0 |
| DATA_SOURCE | 0 | list | $2 |
| DATA_SOURCE | 1 | newsk | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | bh |
drivers/net/usb/r8152.c r8152_tx_agg_fill() -> __skb_queue_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list | 2962894155746627584 |
| PARAM_VALUE | 1 | newsk | 4096-2962894155746627584 |
| PARAM_VALUE | 1 | newsk->next | 0 |
| PARAM_VALUE | 1 | newsk->prev | 0 |
| DATA_SOURCE | 1 | newsk | r __skb_dequeue |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | bh |
net/vmw_vsock/virtio_transport.c virtio_vsock_skb_queue_head() -> __skb_queue_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list | 4096-ptr_max |
| PARAM_VALUE | 1 | newsk | 4096-ptr_max |
| PARAM_VALUE | 1 | newsk->next | 0 |
| PARAM_VALUE | 1 | newsk->prev | 0 |
| DATA_SOURCE | 0 | list | $0 |
| DATA_SOURCE | 1 | newsk | $1 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &vsock->tx_lock | ||
| LOCK2 | bh | ||
| LOCK2 | 0 | &list->lock | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct sk_buff_head)->lock | ||
| TYPE_LOCK | (struct virtio_vsock)->tx_lock |
drivers/net/wireless/ath/ath6kl/debug.c ath6kl_fwlog_block_read() -> __skb_queue_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list | 4096-ptr_max |
| PARAM_VALUE | 1 | newsk | 4096-ptr_max |
| PARAM_VALUE | 1 | newsk->next | 0 |
| PARAM_VALUE | 1 | newsk->prev | 0 |
| DATA_SOURCE | 1 | newsk | r __skb_dequeue |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &ar->debug.fwlog_queue.lock | ||
| TYPE_LOCK | (struct sk_buff_head)->lock |
drivers/net/wireless/ath/ath6kl/debug.c ath6kl_fwlog_read() -> __skb_queue_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list | 4096-ptr_max |
| PARAM_VALUE | 1 | newsk | 4096-ptr_max |
| PARAM_VALUE | 1 | newsk->next | 0 |
| PARAM_VALUE | 1 | newsk->prev | 0 |
| DATA_SOURCE | 1 | newsk | r __skb_dequeue |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &ar->debug.fwlog_queue.lock | ||
| TYPE_LOCK | (struct sk_buff_head)->lock |
net/tipc/msg.c __tipc_skb_queue_sorted() -> __skb_queue_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list | 4096-ptr_max |
| PARAM_VALUE | 1 | newsk | 4096-ptr_max |
| BUF_SIZE | 0 | list | 96 |
| CAPPED_DATA | 0 | list | 1 |
| DATA_SOURCE | 0 | list | $0 |
| DATA_SOURCE | 1 | newsk | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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 |
| HOST_DATA | 1 | newsk->csum | 0-4294967040[c] |
| HOST_DATA | 1 | newsk->csum_offset | 0-u16max |
| HOST_DATA | 1 | newsk->data_len | 0-u32max[c] |
| HOST_DATA | 1 | newsk->len | 0-u32max[c] |
| HOST_DATA | 1 | newsk->next->csum | 0-126976[c] |
| HOST_DATA | 1 | newsk->next->csum_offset | 0-u16max |
| HOST_DATA | 1 | newsk->next->data_len | 0-u32max[c] |
| HOST_DATA | 1 | newsk->next->len | 0-u32max[c] |
| HOST_DATA | 1 | newsk->prev->csum_offset | 0-u16max |
| HOST_DATA | 1 | newsk->prev->data_len | 0-u32max[c] |
| HOST_DATA | 1 | newsk->prev->len | 1-u32max[c] |
| HOST_DATA | 1 | newsk->prev->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 1 | newsk->truesize | 0-u32max |
| HOST_DATA | 1 | newsk->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 1 | newsk->users.refs.counter | s32min-0,2-s32max |
| HOST_DATA | 1 | *newsk->data | 0-255 |
| 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 | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->dev->group | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->dev->num_tc | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->dev->proto_down | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->dev->real_num_rx_queues | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->dev->real_num_tx_queues | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->dev->stats.rx_bytes | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->dev->stats.tx_bytes | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->dev->tx_queue_len | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->end | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->len | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->next->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->next->end | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->next->len | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->next->prev->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->next->prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->prev->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->prev->end | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->sk->sk_backlog.len | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->tail | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->truesize | |
| UNITS | 0 | list | unit_byte |
| UNITS | 1 | newsk | unit_byte |
| LOCK2 | bh | ||
| HALF_LOCKED2 | &le->lock | ||
| HALF_LOCKED2 | &n->lock | ||
| HALF_LOCKED2 | rcu_read |
drivers/net/wireless/ath/wcn36xx/txrx.c wcn36xx_unchain_msdu() -> __skb_queue_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list | 4096-ptr_max |
| PARAM_VALUE | 0 | list->next | 4096-ptr_max |
| PARAM_VALUE | 1 | newsk | 4096-ptr_max |
| PARAM_VALUE | 1 | newsk->next | 0 |
| PARAM_VALUE | 1 | newsk->prev | 0 |
| CAPPED_DATA | 0 | list | 1 |
| DATA_SOURCE | 0 | list | $0 |
| DATA_SOURCE | 1 | newsk | r __skb_dequeue |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | list | unit_byte |
| LOCK2 | &ch->lock | ||
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct wcn36xx_dxe_ch)->lock |
drivers/vhost/vsock.c virtio_vsock_skb_queue_head() -> __skb_queue_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list | 4096-ptr_max |
| PARAM_VALUE | 1 | newsk | 4096-ptr_max |
| PARAM_VALUE | 1 | newsk->next | 0 |
| PARAM_VALUE | 1 | newsk->prev | 0 |
| DATA_SOURCE | 0 | list | $0 |
| DATA_SOURCE | 1 | newsk | $1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &vq->mutex | ||
| LOCK2 | bh | ||
| LOCK2 | 0 | &list->lock | |
| TYPE_LOCK | (struct sk_buff_head)->lock | ||
| TYPE_LOCK | (struct vhost_virtqueue)->mutex |
net/bluetooth/hci_core.c hci_req_cmd_complete() -> __skb_queue_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list | 4096-ptr_max |
| PARAM_VALUE | 1 | newsk | 4096-ptr_max |
| PARAM_VALUE | 1 | newsk->next | 0 |
| PARAM_VALUE | 1 | newsk->prev | 0 |
| DATA_SOURCE | 1 | newsk | r __skb_dequeue |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| NOCHECK_CALL | |||
| LOCK2 | &hdev->cmd_q.lock | ||
| LOCK2 | flags | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct sk_buff_head)->lock |
drivers/net/wireless/ath/carl9170/tx.c carl9170_tx_ampdu_queue() -> __skb_queue_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list | 4096-ptr_max |
| PARAM_VALUE | 1 | newsk | 4096-ptr_max |
| CAPPED_DATA | 1 | newsk->head | 1 |
| DATA_SOURCE | 1 | newsk | $2 |
| PREEMPT_ADD | <- disables preempt | ||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | newsk->csum_offset | 0-u16max |
| HOST_DATA | 1 | newsk->data_len | 0-2147483648[c] |
| HOST_DATA | 1 | newsk->prev->csum_offset | 0-u16max |
| HOST_DATA | 1 | newsk->prev->data_len | 0-u32max[c] |
| HOST_DATA | 1 | newsk->prev->len | 1-u32max[c] |
| HOST_DATA | 1 | newsk->prev->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 1 | newsk->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 1 | newsk->users.refs.counter | s32min-0,2-s32max |
| HOST_DATA | 1 | *newsk->data | 0-255 |
| NO_OVERFLOW_SIMPLE | 1 | newsk->dev->group | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->dev->real_num_rx_queues | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->dev->real_num_tx_queues | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->dev->stats.rx_bytes | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->dev->stats.tx_bytes | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->dev->tx_queue_len | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->end | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->extensions | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->len | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->prev->end | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->tail | |
| NO_OVERFLOW_SIMPLE | 1 | newsk->truesize | |
| UNITS | 0 | list | unit_byte |
| LOCK2 | &agg->lock | ||
| LOCK2 | bh | ||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &local->handle_wake_tx_queue_lock | ||
| TYPE_LOCK | (struct carl9170_sta_tid)->lock |
net/sched/sch_codel.c codel_peek() -> __skb_queue_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list | 4096-ptr_max |
| PARAM_VALUE | 1 | newsk | 4096-ptr_max |
| DATA_SOURCE | 1 | newsk | r __codel_qdisc_dequeue |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | rcu_read |
net/sched/sch_fq_codel.c fq_codel_peek() -> __skb_queue_head()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | list | 4096-ptr_max |
| PARAM_VALUE | 1 | newsk | 4096-ptr_max |
| DATA_SOURCE | 1 | newsk | r __fq_codel_dequeue |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | rcu_read |