skb_reset_tail_pointer identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 2 files as a function:

Referenced in 15 files:

Smatch caller information:

net/ipv6/esp6.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum	0-126976[c]
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0[c]
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	1-u32max[c]
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	*skb->data	0-255
NO_OVERFLOW_SIMPLE	0	skb->data_len
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->next->end
NO_OVERFLOW_SIMPLE	0	skb->next->len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
UNITS	0	skb	unit_byte

net/netfilter/nfnetlink_queue.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	skb	unit_byte
HALF_LOCKED2		&dev->ethtool->rss_lock
HALF_LOCKED2		&nft_net->commit_mutex
HALF_LOCKED2		global &audit_cmd_mutex.lock
HALF_LOCKED2		global &hwsim_phys_lock
HALF_LOCKED2		global &rtnl_mutex
HALF_LOCKED2		global &rx_queue_mutex
HALF_LOCKED2		rcu_read

drivers/net/ethernet/marvell/prestera/prestera_rxtx.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		bh
HALF_LOCKED2		rcu_read

drivers/net/usb/int51x1.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
DATA_SOURCE	0	skb	$0
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0-1[c]
HOST_DATA	0	skb->len	0-u32max[c]
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	0-u32max[c]
HOST_DATA	0	skb->prev->truesize	0-u32max
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->prev->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	skb->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->users.refs.counter	s32min-0,2-s32max
NO_OVERFLOW_SIMPLE	0	skb->data_len
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->num_tc
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->extensions
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->prev->data_len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->prev->tail
NO_OVERFLOW_SIMPLE	0	skb->prev->truesize
NO_OVERFLOW_SIMPLE	0	skb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
HALF_LOCKED2		&net->tx_global_lock
HALF_LOCKED2		&of->mutex
HALF_LOCKED2		&txq->_xmit_lock
HALF_LOCKED2		bh
HALF_LOCKED2		flags
HALF_LOCKED2		rcu_read

net/xfrm/xfrm_iptfs.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	skb	unit_byte

drivers/net/wireless/realtek/rtw89/usb.c rtw89_usb_rx_resubmit() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-0,20480
BUF_SIZE	0	skb	(-1)-0,20480
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/wireless/virtual/mac80211_hwsim_main.c hwsim_virtio_rx_work() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb->data	1-4000000
DATA_SOURCE	0	skb	r virtqueue_get_buf
RX_PATH
NOCHECK_CALL
HOST_DATA	0	skb->_nfct	0-u64max
HOST_DATA	0	skb->_sk_redir	0-u64max
HOST_DATA	0	skb->_skb_refdst	0-u64max
HOST_DATA	0	skb->active_extensions	0-255
HOST_DATA	0	skb->alloc_cpu	0-u16max
HOST_DATA	0	skb->cloned	0-1
HOST_DATA	0	skb->csum	0-u32max
HOST_DATA	0	skb->csum_complete_sw	0-1
HOST_DATA	0	skb->csum_level	0-3
HOST_DATA	0	skb->csum_not_inet	0-1
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->csum_start	0-u16max
HOST_DATA	0	skb->csum_valid	0-1
HOST_DATA	0	skb->data_len	0-u32max
HOST_DATA	0	skb->decrypted	0-1
HOST_DATA	0	skb->dev_scratch	0-u64max
HOST_DATA	0	skb->dst_pending_confirm	0-1
HOST_DATA	0	skb->encap_hdr_csum	0-1
HOST_DATA	0	skb->encapsulation	0-1
HOST_DATA	0	skb->end	0-u32max
HOST_DATA	0	skb->fclone	0-3
HOST_DATA	0	skb->from_ingress	0-1
HOST_DATA	0	skb->hash	0-u32max
HOST_DATA	0	skb->hdr_len	0-u16max
HOST_DATA	0	skb->head_frag	0-1
HOST_DATA	0	skb->ignore_df	0-1
HOST_DATA	0	skb->inner_ipproto	0-255
HOST_DATA	0	skb->inner_mac_header	0-u16max
HOST_DATA	0	skb->inner_network_header	0-u16max
HOST_DATA	0	skb->inner_protocol	0-u16max
HOST_DATA	0	skb->inner_protocol_type	0-1
HOST_DATA	0	skb->inner_transport_header	0-u16max
HOST_DATA	0	skb->ip_summed	0-3
HOST_DATA	0	skb->ipvs_property	0-1
HOST_DATA	0	skb->l4_hash	0-1
HOST_DATA	0	skb->len	0-u32max
HOST_DATA	0	skb->mac_header	0-u16max
HOST_DATA	0	skb->mac_len	0-u16max
HOST_DATA	0	skb->mark	0-u32max
HOST_DATA	0	skb->napi_id	0-u32max
HOST_DATA	0	skb->ndisc_nodetype	0-3
HOST_DATA	0	skb->network_header	0-u16max
HOST_DATA	0	skb->nf_skip_egress	0-1
HOST_DATA	0	skb->nf_trace	0-1
HOST_DATA	0	skb->no_fcs	0-1
HOST_DATA	0	skb->nohdr	0-1
HOST_DATA	0	skb->offload_fwd_mark	0-1
HOST_DATA	0	skb->offload_l3_fwd_mark	0-1
HOST_DATA	0	skb->ooo_okay	0-1
HOST_DATA	0	skb->peeked	0-1
HOST_DATA	0	skb->pfmemalloc	0-1
HOST_DATA	0	skb->pkt_type	0-7
HOST_DATA	0	skb->pp_recycle	0-1
HOST_DATA	0	skb->priority	0-u32max
HOST_DATA	0	skb->protocol	0-u16max
HOST_DATA	0	skb->queue_mapping	0-u16max
HOST_DATA	0	skb->redirected	0-1
HOST_DATA	0	skb->remcsum_offload	0-1
HOST_DATA	0	skb->reserved_tailroom	0-u32max
HOST_DATA	0	skb->secmark	0-u32max
HOST_DATA	0	skb->sender_cpu	0-u32max
HOST_DATA	0	skb->skb_iif	s32min-s32max
HOST_DATA	0	skb->skb_mstamp_ns	0-u64max
HOST_DATA	0	skb->slow_gro	0-1
HOST_DATA	0	skb->sw_hash	0-1
HOST_DATA	0	skb->tail	0-u32max
HOST_DATA	0	skb->tc_at_ingress	0-1
HOST_DATA	0	skb->tc_depth	0-3
HOST_DATA	0	skb->tc_index	0-u16max
HOST_DATA	0	skb->tc_skip_classify	0-1
HOST_DATA	0	skb->transport_header	0-u16max
HOST_DATA	0	skb->truesize	0-u32max
HOST_DATA	0	skb->tstamp	s64min-s64max
HOST_DATA	0	skb->tstamp_type	0-3
HOST_DATA	0	skb->unreadable	0-1
HOST_DATA	0	skb->vlan_all	0-u32max
HOST_DATA	0	skb->vlan_proto	0-u16max
HOST_DATA	0	skb->vlan_tci	0-u16max
HOST_DATA	0	skb->wifi_acked	0-1
HOST_DATA	0	skb->wifi_acked_valid	0-1
HALF_LOCKED2		&pool->lock

drivers/net/macsec.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	skb	unit_byte
LOCK2		rcu_read
HALF_LOCKED2		bh

drivers/scsi/bnx2fc/bnx2fc_fcoe.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	skb->end

drivers/net/wireless/ath/ath6kl/txrx.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	0,4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/qualcomm/emac/emac-mac.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0[c]
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	1-u32max[c]
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	*skb->data	0-255
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->extensions
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->prev->tail
NO_OVERFLOW_SIMPLE	0	skb->prev->truesize
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
HALF_LOCKED2		&netdev->tx_global_lock
HALF_LOCKED2		&txq->_xmit_lock
HALF_LOCKED2		bh
HALF_LOCKED2		flags

net/packet/af_packet.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0[c]
HOST_DATA	0	skb->len	0-4294967294[c]
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	1-u32max[c]
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->truesize	0-u32max
HOST_DATA	0	skb->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	*skb->data	0-255
NO_OVERFLOW_SIMPLE	0	skb->data_len
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->num_tc
NO_OVERFLOW_SIMPLE	0	skb->dev->proto_down
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->extensions
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->next->end
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->prev->tail
NO_OVERFLOW_SIMPLE	0	skb->prev->truesize
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
UNITS	0	skb	unit_byte
HALF_LOCKED2		rcu_read

net/mac80211/wpa.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
RX_PATH
NOCHECK_CALL
UNITS	0	skb	unit_byte

drivers/net/usb/cdc_eem.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
DATA_SOURCE	0	skb	$0
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0-1[c]
HOST_DATA	0	skb->len	0-u32max[c]
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	0-u32max[c]
HOST_DATA	0	skb->prev->truesize	0-u32max
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->prev->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	skb->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->users.refs.counter	s32min-0,2-s32max
NO_OVERFLOW_SIMPLE	0	skb->data_len
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->num_tc
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->extensions
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->prev->data_len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->prev->tail
NO_OVERFLOW_SIMPLE	0	skb->prev->truesize
NO_OVERFLOW_SIMPLE	0	skb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
HALF_LOCKED2		&net->tx_global_lock
HALF_LOCKED2		&of->mutex
HALF_LOCKED2		&txq->_xmit_lock
HALF_LOCKED2		bh
HALF_LOCKED2		flags
HALF_LOCKED2		rcu_read

drivers/staging/rtl8723bs/hal/sdio_ops.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
DATA_SOURCE	0	skb	$0
NOCHECK_CALL
HALF_LOCKED2		&pool->lock

drivers/net/wireless/quantenna/qtnfmac/pcie/pearl_pcie.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->dev	1
DATA_SOURCE	0	skb	$0
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0[c]
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	0-u32max[c]
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	*skb->data	0-255
NO_OVERFLOW_SIMPLE	0	skb->data_len
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->num_tc
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->extensions
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->prev->tail
NO_OVERFLOW_SIMPLE	0	skb->prev->truesize
NO_OVERFLOW_SIMPLE	0	skb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
HALF_LOCKED2		&ndev->tx_global_lock
HALF_LOCKED2		bh
HALF_LOCKED2		flags

drivers/net/wireless/realtek/rtw88/usb.c rtw_usb_rx_resubmit() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-0,32768
BUF_SIZE	0	skb	(-1)-0,32768
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/mac80211/rx.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
DATA_SOURCE	0	skb	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->extensions
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->tail
UNITS	0	skb	unit_byte
LOCK2		rcu_read
HALF_LOCKED2		&dev->rx_lock
HALF_LOCKED2		bh

net/ipv6/ip6_gre.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	0-u32max[c]
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	*skb->data	0-255
NO_OVERFLOW_SIMPLE	0	skb->data_len
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->num_tc
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->extensions
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->prev->tail
NO_OVERFLOW_SIMPLE	0	skb->prev->truesize
NO_OVERFLOW_SIMPLE	0	skb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
HALF_LOCKED2		&dev->tx_global_lock
HALF_LOCKED2		bh
HALF_LOCKED2		flags

drivers/scsi/cxgbi/cxgb4i/cxgb4i.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
DATA_SOURCE	0	skb	$0
CONSTRAINT	0	skb	<=49
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	skb->tail
LOCK2		&csk->lock
LOCK2		bh
HALF_LOCKED2		rcu_read
TYPE_LOCK		(struct cxgbi_sock)->lock

drivers/net/usb/rndis_host.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
DATA_SOURCE	0	skb	$0
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0-1[c]
HOST_DATA	0	skb->len	0-u32max[c]
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	0-u32max[c]
HOST_DATA	0	skb->prev->truesize	0-u32max
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->prev->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	skb->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->users.refs.counter	s32min-0,2-s32max
NO_OVERFLOW_SIMPLE	0	skb->data_len
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->num_tc
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->extensions
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->prev->data_len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->prev->tail
NO_OVERFLOW_SIMPLE	0	skb->prev->truesize
NO_OVERFLOW_SIMPLE	0	skb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
HALF_LOCKED2		&net->tx_global_lock
HALF_LOCKED2		&of->mutex
HALF_LOCKED2		&txq->_xmit_lock
HALF_LOCKED2		bh
HALF_LOCKED2		flags
HALF_LOCKED2		rcu_read

net/core/skbuff.c __finalize_skb_around() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1),1-s32max
BUF_SIZE	0	skb	(-1),1-s32max
BUF_SIZE	0	skb->data	(-1)-4000000
BUF_SIZE	0	skb->head	(-1)-4000000
CAPPED_DATA	0	skb	1
DATA_SOURCE	0	skb	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/core/skbuff.c pskb_carve_inside_nonlinear() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	1-u64max
PARAM_VALUE	0	skb->head	1-u64max
BUF_SIZE	0	skb	(-1),240
BUF_SIZE	0	skb	(-1),240
BUF_SIZE	0	skb->data	s32min-s32max
BUF_SIZE	0	skb->head	s32min-s32max
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	skb	unit_byte

net/core/skbuff.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb->prev	(-1)-s32max
DATA_SOURCE	0	skb	$0
STR_LEN	0	skb->sk	(-1)
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum	0-4294967041[c]
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0[c]
HOST_DATA	0	skb->inner_protocol	1-255
HOST_DATA	0	skb->len	0-s32max,4294967282-4294967294[c]
HOST_DATA	0	skb->next->csum_offset	0-u16max
HOST_DATA	0	skb->next->data_len	0-u32max[c]
HOST_DATA	0	skb->next->len	1-u32max[c]
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	0-u32max[c]
HOST_DATA	0	skb->prev->truesize	0-u32max
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->prev->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	skb->protocol	1-255
HOST_DATA	0	skb->truesize	0-u32max
HOST_DATA	0	skb->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	*skb->data	0-255
NO_OVERFLOW_SIMPLE	0	skb->data_len
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->num_tc
NO_OVERFLOW_SIMPLE	0	skb->dev->proto_down
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->extensions
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->next->data_len
NO_OVERFLOW_SIMPLE	0	skb->next->end
NO_OVERFLOW_SIMPLE	0	skb->next->len
NO_OVERFLOW_SIMPLE	0	skb->next->tail
NO_OVERFLOW_SIMPLE	0	skb->next->truesize
NO_OVERFLOW_SIMPLE	0	skb->prev->data_len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->prev->tail
NO_OVERFLOW_SIMPLE	0	skb->prev->truesize
NO_OVERFLOW_SIMPLE	0	skb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
UNITS	0	skb	unit_byte

net/atm/br2684.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &ioctl_mutex

drivers/net/wireless/mediatek/mt76/mt76x02_mac.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
BUF_SIZE	0	skb	(-1),256
BUF_SIZE	0	skb	(-1),256
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		rcu_read
HALF_LOCKED2		bh

net/core/filter.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
STR_LEN	0	skb->sk	(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum	0-4294967040[c]
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0[c]
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	1-u32max[c]
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	*skb->data	0-255
NO_OVERFLOW_SIMPLE	0	skb->data_len
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->num_tc
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->next->end
NO_OVERFLOW_SIMPLE	0	skb->next->len
NO_OVERFLOW_SIMPLE	0	skb->next->tail
NO_OVERFLOW_SIMPLE	0	skb->next->truesize
NO_OVERFLOW_SIMPLE	0	skb->prev->data_len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->prev->tail
NO_OVERFLOW_SIMPLE	0	skb->prev->truesize
NO_OVERFLOW_SIMPLE	0	skb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
UNITS	0	skb	unit_byte

drivers/net/usb/asix_common.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
DATA_SOURCE	0	skb	$0
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0-1[c]
HOST_DATA	0	skb->len	0-u32max[c]
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	0-u32max[c]
HOST_DATA	0	skb->prev->truesize	0-u32max
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->prev->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	skb->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->users.refs.counter	s32min-0,2-s32max
NO_OVERFLOW_SIMPLE	0	skb->data_len
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->num_tc
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->extensions
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->prev->data_len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->prev->tail
NO_OVERFLOW_SIMPLE	0	skb->prev->truesize
NO_OVERFLOW_SIMPLE	0	skb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
HALF_LOCKED2		&net->tx_global_lock
HALF_LOCKED2		&of->mutex
HALF_LOCKED2		&txq->_xmit_lock
HALF_LOCKED2		bh
HALF_LOCKED2		flags
HALF_LOCKED2		rcu_read

drivers/net/phy/bcm-phy-ptp.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->head	1
DATA_SOURCE	0	skb	$0
CONSTRAINT	0	skb	<=49
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0[c]
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	1-u32max[c]
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->truesize	0-u32max
HOST_DATA	0	skb->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	*skb->data	0-255
NO_OVERFLOW_SIMPLE	0	skb->data_len
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->num_tc
NO_OVERFLOW_SIMPLE	0	skb->dev->proto_down
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->next->end
NO_OVERFLOW_SIMPLE	0	skb->next->len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->prev->tail
NO_OVERFLOW_SIMPLE	0	skb->prev->truesize
NO_OVERFLOW_SIMPLE	0	skb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
HALF_LOCKED2		&ei_local->page_lock
HALF_LOCKED2		&lp->rx_lock
HALF_LOCKED2		&ocelot->inj_lock
HALF_LOCKED2		flags

drivers/scsi/fcoe/fcoe.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-3317316561003966463
PARAM_VALUE	0	skb->data	4096-ptr_max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	skb->end
LOCK2		&pool->lock

drivers/net/wireless/ath/carl9170/rx.c carl9170_rx_stream() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->tail
HALF_LOCKED2		bh

drivers/net/wireless/ath/carl9170/rx.c carl9170_rx_stream() -> skb_reset_tail_pointer()

Type	Parameter	Key
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->tail
HALF_LOCKED2		bh

net/psp/psp_main.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->extensions	1
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->prev->tail
NO_OVERFLOW_SIMPLE	0	skb->prev->truesize
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
LOCK2		rcu_read
HALF_LOCKED2		bh

drivers/net/ethernet/intel/iavf/iavf_txrx.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb	1
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0-1[c]
HOST_DATA	0	skb->next->csum_offset	0-u16max
HOST_DATA	0	skb->next->data_len	0-u32max[c]
HOST_DATA	0	skb->next->len	1-u32max[c]
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	0-u32max[c]
HOST_DATA	0	skb->prev->truesize	0-u32max
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->prev->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	skb->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->users.refs.counter	s32min-0,2-s32max
NO_OVERFLOW_SIMPLE	0	skb->data_len
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->num_tc
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->extensions
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->prev->data_len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->prev->tail
NO_OVERFLOW_SIMPLE	0	skb->prev->truesize
NO_OVERFLOW_SIMPLE	0	skb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
HALF_LOCKED2		&netdev->tx_global_lock
HALF_LOCKED2		&txq->_xmit_lock
HALF_LOCKED2		bh
HALF_LOCKED2		flags
HALF_LOCKED2		rcu_read

drivers/net/ethernet/atheros/atl1e/atl1e_main.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0[c]
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	0-u32max[c]
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	*skb->data	0-255
NO_OVERFLOW_SIMPLE	0	skb->data_len
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->num_tc
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->extensions
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->prev->tail
NO_OVERFLOW_SIMPLE	0	skb->prev->truesize
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
HALF_LOCKED2		&netdev->tx_global_lock
HALF_LOCKED2		&txq->_xmit_lock
HALF_LOCKED2		bh
HALF_LOCKED2		flags

net/ipv4/esp4.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum	0-126976[c]
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0[c]
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	1-u32max[c]
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	*skb->data	0-255
NO_OVERFLOW_SIMPLE	0	skb->data_len
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->next->end
NO_OVERFLOW_SIMPLE	0	skb->next->len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
UNITS	0	skb	unit_byte

drivers/net/wireguard/receive.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum	0-65024[c]
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	1-u32max[c]
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	*skb->data	0-255
NO_OVERFLOW_SIMPLE	0	skb->data_len
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->next->end
NO_OVERFLOW_SIMPLE	0	skb->next->len
NO_OVERFLOW_SIMPLE	0	skb->next->tail
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
UNITS	0	skb	unit_byte

drivers/net/wireless/ath/ath9k/hif_usb.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&pool->lock

drivers/net/wwan/t7xx/t7xx_hif_dpmaif_rx.c t7xx_dpmaif_set_data_to_skb() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		bh
HALF_LOCKED2		rcu_read

net/ipv4/ip_tunnel_core.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	1-u32max[c]
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	*skb->data	0-255
NO_OVERFLOW_SIMPLE	0	skb->dev->num_tc
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->extensions
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->prev->tail
NO_OVERFLOW_SIMPLE	0	skb->prev->truesize
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
LOCK2		rcu_read
HALF_LOCKED2		bh
HALF_LOCKED2		flags

drivers/net/veth.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		bh

drivers/net/usb/lan78xx.c lan78xx_release_buf() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	s32min-(-1),1-s32max
BUF_SIZE	0	skb	s32min-(-1),1-s32max
BUF_SIZE	0	skb->data	1-4000000
DATA_SOURCE	0	skb	$1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	skb->next->end
NO_OVERFLOW_SIMPLE	0	skb->next->len
NO_OVERFLOW_SIMPLE	0	skb->next->tail
UNITS	0	skb	unit_byte
HALF_LOCKED2		&dev->dev_mutex

drivers/net/usb/lan78xx.c lan78xx_rx_urb_resubmit() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-2167202329180147712
BUF_SIZE	0	skb->data	1-4000000
DATA_SOURCE	0	skb	$1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	skb->next->end
NO_OVERFLOW_SIMPLE	0	skb->next->len
NO_OVERFLOW_SIMPLE	0	skb->next->tail
HALF_LOCKED2		&ni->dev_lock
HALF_LOCKED2		bh
HALF_LOCKED2		rcu_read

drivers/net/ethernet/intel/e1000e/netdev.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&ni->dev_lock
HALF_LOCKED2		bh
HALF_LOCKED2		rcu_read

drivers/net/wireless/intel/ipw2x00/libipw_rx.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
DATA_SOURCE	0	skb	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&priv->lock
HALF_LOCKED2		&priv->low_lock
HALF_LOCKED2		bh
HALF_LOCKED2		flags

drivers/net/ethernet/intel/e1000/e1000_main.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&ni->dev_lock
HALF_LOCKED2		bh
HALF_LOCKED2		rcu_read

drivers/net/ethernet/intel/ixgbe/ixgbe_ptp.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		bh
HALF_LOCKED2		rcu_read

net/xfrm/espintcp.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	skb->dev->num_tc

drivers/scsi/cxgbi/cxgb3i/cxgb3i.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
CONSTRAINT	0	skb	<=49
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		&csk->lock
LOCK2		bh
TYPE_LOCK		(struct cxgbi_sock)->lock

net/phonet/af_phonet.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	1-u32max[c]
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	*skb->data	0-255
NO_OVERFLOW_SIMPLE	0	skb->data_len
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->num_tc
NO_OVERFLOW_SIMPLE	0	skb->dev->proto_down
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->extensions
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->next->end
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->prev->tail
NO_OVERFLOW_SIMPLE	0	skb->prev->truesize
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
UNITS	0	skb	unit_byte
HALF_LOCKED2		rcu_read

drivers/net/wireless/ath/ath10k/pci.c ath10k_pci_process_htt_rx_cb() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-2389080924897095680
CAPPED_DATA	0	skb->head	1
DATA_SOURCE	0	skb	r __skb_dequeue
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len

net/ipv4/ip_gre.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	0-u32max[c]
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	*skb->data	0-255
NO_OVERFLOW_SIMPLE	0	skb->data_len
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->num_tc
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->extensions
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->prev->tail
NO_OVERFLOW_SIMPLE	0	skb->prev->truesize
NO_OVERFLOW_SIMPLE	0	skb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
HALF_LOCKED2		&dev->tx_global_lock
HALF_LOCKED2		bh
HALF_LOCKED2		flags

drivers/net/ethernet/asix/ax88796c_main.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
RX_PATH
NOCHECK_CALL
LOCK2		&ax_local->spi_lock
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct ax88796c_device)->spi_lock

drivers/net/ethernet/atheros/atlx/atl1.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0[c]
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	0-u32max[c]
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	*skb->data	0-255
NO_OVERFLOW_SIMPLE	0	skb->data_len
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->num_tc
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->extensions
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->prev->tail
NO_OVERFLOW_SIMPLE	0	skb->prev->truesize
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
HALF_LOCKED2		&netdev->tx_global_lock
HALF_LOCKED2		&txq->_xmit_lock
HALF_LOCKED2		bh
HALF_LOCKED2		flags

drivers/net/usb/sr9700.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	skb->prev->data_len
HALF_LOCKED2		&pool->lock

drivers/net/usb/gl620a.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
DATA_SOURCE	0	skb	$0
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0-1[c]
HOST_DATA	0	skb->len	0-u32max[c]
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	0-u32max[c]
HOST_DATA	0	skb->prev->truesize	0-u32max
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->prev->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	skb->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->users.refs.counter	s32min-0,2-s32max
NO_OVERFLOW_SIMPLE	0	skb->data_len
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->num_tc
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->extensions
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->prev->data_len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->prev->tail
NO_OVERFLOW_SIMPLE	0	skb->prev->truesize
NO_OVERFLOW_SIMPLE	0	skb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
HALF_LOCKED2		&net->tx_global_lock
HALF_LOCKED2		&of->mutex
HALF_LOCKED2		&txq->_xmit_lock
HALF_LOCKED2		bh
HALF_LOCKED2		flags
HALF_LOCKED2		rcu_read

drivers/net/wwan/t7xx/t7xx_hif_cldma.c t7xx_cldma_clear_rxq() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PREEMPT_ADD			<- disables preempt
NOCHECK_CALL
LOCK2		&rxq->ring_lock
LOCK2		flags
TYPE_LOCK		(struct cldma_queue)->ring_lock

drivers/net/wwan/t7xx/t7xx_hif_cldma.c t7xx_cldma_gpd_rx_from_q() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
RX_PATH
NOCHECK_CALL
HALF_LOCKED2		&pool->lock

drivers/net/ethernet/atheros/atl1c/atl1c_main.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0[c]
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	0-u32max[c]
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	*skb->data	0-255
NO_OVERFLOW_SIMPLE	0	skb->data_len
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->num_tc
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->extensions
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->prev->tail
NO_OVERFLOW_SIMPLE	0	skb->prev->truesize
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
HALF_LOCKED2		&netdev->tx_global_lock
HALF_LOCKED2		&txq->_xmit_lock
HALF_LOCKED2		bh
HALF_LOCKED2		flags

drivers/net/wireless/broadcom/brcm80211/brcmsmac/main.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-1115747022175772671,1115747022175772673-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
DATA_SOURCE	0	skb	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	skb	unit_byte
LOCK2		&wl->lock
LOCK2		bh
TYPE_LOCK		(struct brcms_info)->lock

drivers/net/usb/net1080.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
DATA_SOURCE	0	skb	$0
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0-1[c]
HOST_DATA	0	skb->len	0-u32max[c]
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	0-u32max[c]
HOST_DATA	0	skb->prev->truesize	0-u32max
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->prev->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	skb->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->users.refs.counter	s32min-0,2-s32max
NO_OVERFLOW_SIMPLE	0	skb->data_len
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->num_tc
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->extensions
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->prev->data_len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->prev->tail
NO_OVERFLOW_SIMPLE	0	skb->prev->truesize
NO_OVERFLOW_SIMPLE	0	skb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
HALF_LOCKED2		&net->tx_global_lock
HALF_LOCKED2		&of->mutex
HALF_LOCKED2		&txq->_xmit_lock
HALF_LOCKED2		bh
HALF_LOCKED2		flags
HALF_LOCKED2		rcu_read

net/xfrm/xfrm_ipcomp.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum	0-126976[c]
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0[c]
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	1-u32max[c]
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	*skb->data	0-255
NO_OVERFLOW_SIMPLE	0	skb->data_len
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->next->end
NO_OVERFLOW_SIMPLE	0	skb->next->len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
UNITS	0	skb	unit_byte

drivers/net/wireless/broadcom/brcm80211/brcmsmac/dma.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	skb	unit_byte
LOCK2		&wl->lock
LOCK2		bh
TYPE_LOCK		(struct brcms_info)->lock

net/ipv4/icmp.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1),1-s32max
BUF_SIZE	0	skb	(-1),1-s32max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	skb->end
LOCK2		bh
HALF_LOCKED2		&sk->sk_lock.slock
HALF_LOCKED2		&x->lock
HALF_LOCKED2		rcu_read

drivers/net/ethernet/netronome/nfp/ccm_mbox.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->len	4-s32max[c]
HALF_LOCKED2		&nn->bar_lock
HALF_LOCKED2		&pool->lock

net/netfilter/nf_nat_helper.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
DATA_SOURCE	0	skb	$0
STR_LEN	0	skb	(-1),5,16,23
STR_LEN	0	skb	(-1),5,16,23
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum	0-192512[c]
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	1-u32max[c]
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->protocol	1-255
HOST_DATA	0	skb->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	*skb->data	0-255
NO_OVERFLOW_SIMPLE	0	skb->data_len
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->num_tc
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->extensions
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
HALF_LOCKED2		bh
HALF_LOCKED2		global &nf_h323_lock

drivers/net/tun.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0[c]
HOST_DATA	0	skb->len	1-s32max[c]
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	0-u32max[c]
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	*skb->data	0-255
NO_OVERFLOW_SIMPLE	0	skb->data_len
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->num_tc
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->extensions
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->prev->tail
NO_OVERFLOW_SIMPLE	0	skb->prev->truesize
NO_OVERFLOW_SIMPLE	0	skb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
HALF_LOCKED2		&tfile->napi_mutex
HALF_LOCKED2		rcu_read

net/ipv6/ip6_output.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/mscc/ocelot_fdma.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		bh
HALF_LOCKED2		rcu_read

net/tipc/crypto.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/staging/rtl8723bs/core/rtw_recv.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
DATA_SOURCE	0	skb	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&ppending_recvframe_queue->lock
HALF_LOCKED2		bh

drivers/net/usb/kalmia.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
DATA_SOURCE	0	skb	$0
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0-1[c]
HOST_DATA	0	skb->len	0-u32max[c]
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	0-u32max[c]
HOST_DATA	0	skb->prev->truesize	0-u32max
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->prev->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	skb->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->users.refs.counter	s32min-0,2-s32max
NO_OVERFLOW_SIMPLE	0	skb->data_len
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->num_tc
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->extensions
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->prev->data_len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->prev->tail
NO_OVERFLOW_SIMPLE	0	skb->prev->truesize
NO_OVERFLOW_SIMPLE	0	skb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
HALF_LOCKED2		&net->tx_global_lock
HALF_LOCKED2		&of->mutex
HALF_LOCKED2		&txq->_xmit_lock
HALF_LOCKED2		bh
HALF_LOCKED2		flags
HALF_LOCKED2		rcu_read

drivers/net/wireless/quantenna/qtnfmac/core.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		bh
HALF_LOCKED2		rcu_read

drivers/net/ethernet/emulex/benet/be_main.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0[c]
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	0-u32max[c]
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	*skb->data	0-255
NO_OVERFLOW_SIMPLE	0	skb->data_len
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->num_tc
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->extensions
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->prev->tail
NO_OVERFLOW_SIMPLE	0	skb->prev->truesize
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
HALF_LOCKED2		&netdev->tx_global_lock
HALF_LOCKED2		&txq->_xmit_lock
HALF_LOCKED2		bh
HALF_LOCKED2		flags

drivers/net/ethernet/chelsio/cxgb3/cxgb3_offload.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

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

drivers/net/ethernet/freescale/gianfar.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		bh
HALF_LOCKED2		rcu_read

drivers/net/wireless/broadcom/brcm80211/brcmfmac/sdio.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
DATA_SOURCE	0	skb	$0
NOCHECK_CALL
HOST_DATA	0	skb->next->prev->csum_offset	0-u16max
HOST_DATA	0	skb->next->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->next->prev->len	0-u32max[c]
HOST_DATA	0	skb->next->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	0-u32max[c]
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
NO_OVERFLOW_SIMPLE	0	skb->prev->data_len
UNITS	0	skb	unit_byte
LOCK2		&pool->lock

net/tipc/netlink_compat.c __tipc_nl_compat_dumpit() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	0-s32max
BUF_SIZE	0	skb	0-s32max
DATA_SOURCE	0	skb	r nlmsg_new
STR_LEN	0	skb->sk	(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	skb->sk->sk_backlog.len

drivers/staging/octeon/ethernet-rx.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&ni->dev_lock
HALF_LOCKED2		rcu_read

net/core/dev.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
DATA_SOURCE	0	skb	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		bh
HALF_LOCKED2		rcu_read

net/mac80211/wep.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
RX_PATH
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	skb->end
UNITS	0	skb	unit_byte

net/openvswitch/actions.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum	0-192512[c]
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0[c]
HOST_DATA	0	skb->inner_protocol	1-255
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	1-u32max[c]
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->protocol	1-255
HOST_DATA	0	skb->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	*skb->data	0-255
NO_OVERFLOW_SIMPLE	0	skb->data_len
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->extensions
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->prev->tail
NO_OVERFLOW_SIMPLE	0	skb->prev->truesize
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
UNITS	0	skb	unit_byte

drivers/net/ethernet/mellanox/mlx5/core/en_accel/ipsec_rxtx.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
BIT_INFO	0	skb->protocol	0x0,0x8edd
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0[c]
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	1-u32max[c]
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	*skb->data	0-255
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->extensions
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->prev->tail
NO_OVERFLOW_SIMPLE	0	skb->prev->truesize
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
HALF_LOCKED2		&netdev->tx_global_lock
HALF_LOCKED2		&txq->_xmit_lock
HALF_LOCKED2		bh
HALF_LOCKED2		flags

drivers/net/wireless/mediatek/mt76/sdio_txrx.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
DATA_SOURCE	0	skb	$0
NOCHECK_CALL

drivers/net/usb/lg-vl600.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
DATA_SOURCE	0	skb	$0
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0-1[c]
HOST_DATA	0	skb->len	14-u32max[c]
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	0-u32max[c]
HOST_DATA	0	skb->prev->truesize	0-u32max
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->prev->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	skb->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->users.refs.counter	s32min-0,2-s32max
NO_OVERFLOW_SIMPLE	0	skb->data_len
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->num_tc
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->extensions
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->prev->data_len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->prev->tail
NO_OVERFLOW_SIMPLE	0	skb->prev->truesize
NO_OVERFLOW_SIMPLE	0	skb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
HALF_LOCKED2		&net->tx_global_lock
HALF_LOCKED2		&of->mutex
HALF_LOCKED2		&txq->_xmit_lock
HALF_LOCKED2		bh
HALF_LOCKED2		flags
HALF_LOCKED2		rcu_read

net/ipv6/icmp.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1),1-s32max
BUF_SIZE	0	skb	(-1),1-s32max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	skb->end
LOCK2		bh
LOCK2		rcu_read
HALF_LOCKED2		&sk->sk_lock.slock
HALF_LOCKED2		&x->lock

drivers/net/usb/sr9800.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
DATA_SOURCE	0	skb	$0
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0-1[c]
HOST_DATA	0	skb->len	0-u32max[c]
HOST_DATA	0	skb->prev->csum_offset	0-u16max
HOST_DATA	0	skb->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->prev->len	0-u32max[c]
HOST_DATA	0	skb->prev->truesize	0-u32max
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->prev->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	skb->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->users.refs.counter	s32min-0,2-s32max
NO_OVERFLOW_SIMPLE	0	skb->data_len
NO_OVERFLOW_SIMPLE	0	skb->dev->group
NO_OVERFLOW_SIMPLE	0	skb->dev->num_tc
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->extensions
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->prev->data_len
NO_OVERFLOW_SIMPLE	0	skb->prev->end
NO_OVERFLOW_SIMPLE	0	skb->prev->len
NO_OVERFLOW_SIMPLE	0	skb->prev->tail
NO_OVERFLOW_SIMPLE	0	skb->prev->truesize
NO_OVERFLOW_SIMPLE	0	skb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
HALF_LOCKED2		&net->tx_global_lock
HALF_LOCKED2		&of->mutex
HALF_LOCKED2		&txq->_xmit_lock
HALF_LOCKED2		bh
HALF_LOCKED2		flags
HALF_LOCKED2		rcu_read

drivers/scsi/qedf/qedf_main.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
CONSTRAINT	0	skb	<=49
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	skb->end
LOCK2		&pool->lock

net/tls/tls_strp.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	0-s32max
BUF_SIZE	0	skb	0-s32max
BUF_SIZE	0	skb->prev	(-1)-s32max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		rcu_read

net/ipv4/ip_output.c skb_set_tail_pointer() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/wireless/intersil/p54/p54usb.c p54u_rx_cb() -> skb_reset_tail_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	s32min-(-1),1-s32max
BUF_SIZE	0	skb	s32min-(-1),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	skb	unit_byte
HALF_LOCKED2		&pool->lock