skb_set_network_header identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

include/linux/skbuff.h, line 3142 (as a function)

Referenced in 56 files:

Smatch caller information:

net/xfrm/xfrm_iptfs.c iptfs_encap_add_ipv4() -> skb_set_network_header()

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->mark	1
DATA_SOURCE	0	skb	$1
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->inner_protocol	1-255
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->tstamp	500000002-4294967299794967295[c]
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->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		rcu_read

net/xfrm/xfrm_iptfs.c iptfs_encap_add_ipv6() -> skb_set_network_header()

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->mark	1
DATA_SOURCE	0	skb	$1
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->inner_protocol	1-255
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->tstamp	500000002-4294967299794967295[c]
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->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
UNITS	1	offset	unit_byte
HALF_LOCKED2		rcu_read

net/mpls/mpls_gso.c mpls_gso_segment() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
CAPPED_DATA	0	skb->head	1
DATA_SOURCE	0	skb	$0 [m]
CONSTRAINT	0	skb	<=49
CONSTRAINT	0	skb->data_len	<=49
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0-u32max[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->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->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
UNITS	1	offset	unit_byte
HALF_LOCKED2		rcu_read

drivers/net/geneve.c skb_vlan_inet_prepare() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	1	offset	0-u16max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
DATA_SOURCE	0	skb	$0
FUZZY_MAX	1	offset	14
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0-2147483648[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
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->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	1	offset	unit_byte
LOCK2		rcu_read
HALF_LOCKED2		&dev->tx_global_lock
HALF_LOCKED2		&txq->_xmit_lock
HALF_LOCKED2		bh
HALF_LOCKED2		flags

drivers/net/ethernet/mellanox/mlx5/core/en_selftest.c mlx5e_test_get_udp_skb() -> skb_set_network_header()

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->head	1
DATA_SOURCE	0	skb	r netdev_alloc_skb
NOCHECK_CALL
UNITS	1	offset	unit_byte
LOCK2		&priv->state_lock
TYPE_LOCK		(struct mlx5e_priv)->state_lock

net/ipv6/ip6_tunnel.c skb_vlan_inet_prepare() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
PARAM_VALUE	1	offset	0-u16max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
DATA_SOURCE	0	skb	$0
FUZZY_MAX	1	offset	0
CONSTRAINT	0	skb	<=49
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->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->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->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
UNITS	1	offset	unit_byte
HALF_LOCKED2		rcu_read

net/packet/af_packet.c packet_parse_headers() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	1	offset	0-u16max
BUF_SIZE	0	skb	0-s32max
BUF_SIZE	0	skb	0-s32max
DATA_SOURCE	0	skb	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->len	1-u32max[c]
HALF_LOCKED2		&po->pg_vec_lock
HALF_LOCKED2		rcu_read

net/mac80211/tx.c ieee80211_monitor_start_xmit() -> skb_set_network_header()

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
DATA_SOURCE	1	offset	r ieee80211_get_radiotap_len
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0-2147483648[c]
HOST_DATA	0	skb->len	8-u32max[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
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->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->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
HALF_LOCKED2		&dev->tx_global_lock
HALF_LOCKED2		&txq->_xmit_lock
HALF_LOCKED2		bh
HALF_LOCKED2		flags
HALF_LOCKED2		rcu_read

net/mac80211/wpa.c gcmp_encrypt_skb() -> skb_set_network_header()

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

net/core/pktgen.c fill_packet_ipv4() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->network_header	0
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->head	1
DATA_SOURCE	0	skb	r pktgen_alloc_skb
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	skb->end
UNITS	1	offset	unit_byte

net/core/pktgen.c fill_packet_ipv6() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->network_header	0
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->head	1
DATA_SOURCE	0	skb	r pktgen_alloc_skb
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	skb->end
UNITS	1	offset	unit_byte

net/mac80211/rx.c ieee80211_rx_mesh_data() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	1	offset	12-62
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->head	1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	skb->dev->proto_down
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->tail
UNITS	0	skb	unit_byte
UNITS	1	offset	unit_byte
HALF_LOCKED2		rcu_read

net/mac80211/rx.c ieee80211_rx_mesh_fast_forward() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
PARAM_VALUE	1	offset	8,14,20,26
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
DATA_SOURCE	0	skb	$1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	skb->dev->num_tc
NO_OVERFLOW_SIMPLE	0	skb->end
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->tail
UNITS	0	skb	unit_byte
UNITS	1	offset	unit_byte
HALF_LOCKED2		rcu_read

net/ipv6/udp.c __udp6_lib_err_encap() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
CAPPED_DATA	0	skb->dev->nd_net.net	1
DATA_SOURCE	0	skb	$5
DATA_SOURCE	1	offset	r skb_network_offset
NOCHECK_CALL

net/batman-adv/mesh-interface.c batadv_interface_tx() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	1	offset	14,18
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb	1
DATA_SOURCE	0	skb	$0
FUZZY_MAX	1	offset	14
MEM_ZERO	0	skb->cb
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0-2147483648[c]
HOST_DATA	0	skb->len	0-u32max[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
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->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->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
HALF_LOCKED2		&mesh_iface->tx_global_lock
HALF_LOCKED2		&txq->_xmit_lock
HALF_LOCKED2		bh
HALF_LOCKED2		flags
HALF_LOCKED2		rcu_read

net/core/skbuff.c __skb_vlan_pop() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
PARAM_VALUE	1	offset	14
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb->dev	s32min-(-1),1-s32max
CAPPED_DATA	0	skb	1
CAPPED_DATA	0	skb->data_len	1
DATA_SOURCE	0	skb	$0
CONSTRAINT	0	skb->data_len	<=49
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->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	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->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->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/core/skbuff.c skb_mpls_pop() -> skb_set_network_header()

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	1
CAPPED_DATA	0	skb->data_len	1
DATA_SOURCE	0	skb	$0
DATA_SOURCE	1	offset	$2
CONSTRAINT	0	skb->data_len	<=49
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->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	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
UNITS	0	skb	unit_byte
UNITS	1	offset	unit_byte

net/core/skbuff.c skb_mpls_push() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->head	1-u64max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb	1
CAPPED_DATA	0	skb->head	1
DATA_SOURCE	0	skb	$0
DATA_SOURCE	1	offset	$3
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-u32max[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	0-u32max[c]
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
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->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
UNITS	0	skb	unit_byte
UNITS	1	offset	unit_byte

drivers/net/ethernet/broadcom/bnxt/bnxt.c bnxt_gro_func_5730x() -> skb_set_network_header()

Type	Parameter	Key	Value
DATA_SOURCE	0	skb	$3
NOCHECK_CALL
UNITS	1	offset	unit_byte

drivers/net/ethernet/broadcom/bnxt/bnxt.c bnxt_gro_func_5730x() -> skb_set_network_header()

Type	Parameter	Key	Value
DATA_SOURCE	0	skb	$3
NOCHECK_CALL
UNITS	1	offset	unit_byte

drivers/net/ethernet/broadcom/bnxt/bnxt.c bnxt_gro_func_5731x() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	1	offset	(-14)-497,65518-65521
DATA_SOURCE	0	skb	$3
NOCHECK_CALL

drivers/net/ethernet/broadcom/bnxt/bnxt.c bnxt_gro_func_5750x() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	1	offset	(-14)-497
DATA_SOURCE	0	skb	$3
NOCHECK_CALL

net/mac80211/tdls.c ieee80211_prep_tdls_encap_data() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
PARAM_VALUE	1	offset	14
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
DATA_SOURCE	0	skb	$7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		rcu_read

net/ipv4/tcp_offload.c tcp_gro_receive() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	1	offset	0-u16max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb->dev	s32min-(-1),1-s32max
DATA_SOURCE	0	skb	$1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->napi_id	0-u32max
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.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->tail
UNITS	0	skb	unit_byte
HALF_LOCKED2		rcu_read

net/core/filter.c bpf_skb_net_grow() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->head	1-u64max
PARAM_VALUE	0	skb->protocol	2048,34525
CAPPED_DATA	0	skb->head	1
DATA_SOURCE	0	skb	$0
BIT_INFO	0	skb->protocol	0x0,0x8edd
NOCHECK_CALL
UNITS	1	offset	unit_byte

drivers/net/ppp/pptp.c pptp_rcv_core() -> skb_set_network_header()

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	$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-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	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->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->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->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
UNITS	1	offset	unit_byte
HALF_LOCKED2		&sk->sk_lock.slock
HALF_LOCKED2		sk

drivers/net/bareudp.c skb_vlan_inet_prepare() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	1	offset	0-u16max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->protocol	1
DATA_SOURCE	0	skb	$0
FUZZY_MAX	1	offset	14
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0-2147483648[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
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->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	1	offset	unit_byte
LOCK2		rcu_read
HALF_LOCKED2		&dev->tx_global_lock
HALF_LOCKED2		&txq->_xmit_lock
HALF_LOCKED2		bh
HALF_LOCKED2		flags

net/hsr/hsr_slave.c hsr_handle_frame() -> skb_set_network_header()

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

lib/test_bpf.c populate_skb() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	1	offset	s32min-14
BUF_SIZE	0	skb	128
BUF_SIZE	0	skb	128
BUF_SIZE	0	skb->dev	4288
CAPPED_DATA	1	offset	1
DATA_SOURCE	0	skb	r alloc_skb
NOCHECK_CALL

drivers/net/ethernet/chelsio/cxgb4/sge.c cxgb_fcoe_offload() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	1	offset	14
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_offset	0-u16max
HOST_DATA	0	skb->data_len	0-2147483648[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
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->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	1	offset	unit_byte
HALF_LOCKED2		&adap->ptp_lock
HALF_LOCKED2		&txq->_xmit_lock
HALF_LOCKED2		bh
HALF_LOCKED2		flags
HALF_LOCKED2		rcu_read

drivers/net/ethernet/hisilicon/hns3/hns3_enet.c hns3_gro_complete() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
PARAM_VALUE	1	offset	s32min-0,4-s32max
DATA_SOURCE	0	skb	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/ipv4/udp_offload.c __skb_udp_tunnel_segment() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
CAPPED_DATA	0	skb->data_len	1
DATA_SOURCE	0	skb	$0
CONSTRAINT	0	skb->data_len	<=49
NOCHECK_CALL
LOCK2		rcu_read

net/ipv4/udp_offload.c __skb_udp_tunnel_segment() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
CAPPED_DATA	0	skb->head	1
DATA_SOURCE	0	skb	$0 [m]
CONSTRAINT	0	skb->data_len	<=49
NOCHECK_CALL
UNITS	0	skb	unit_byte
UNITS	1	offset	unit_byte
LOCK2		rcu_read

net/ipv4/udp_offload.c udp_gro_receive_segment() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	1	offset	0-u16max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb->dev	s32min-(-1),1-s32max
CAPPED_DATA	0	skb->csum_level	1
CAPPED_DATA	0	skb->ip_summed	1
DATA_SOURCE	0	skb	$1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->napi_id	0-u32max
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.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->tail
UNITS	0	skb	unit_byte
HALF_LOCKED2		rcu_read

net/batman-adv/tvlv.c batadv_tvlv_call_handler() -> skb_set_network_header()

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	$4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
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	1-u32max[c]
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->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->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
UNITS	1	offset	unit_byte

net/bridge/br_arp_nd_proxy.c br_nd_send() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
PARAM_VALUE	1	offset	0
BUF_SIZE	0	skb	0-s32max
BUF_SIZE	0	skb	0-s32max
CAPPED_DATA	0	skb->head	1
DATA_SOURCE	0	skb	r alloc_skb
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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
HALF_LOCKED2		bh
HALF_LOCKED2		rcu_read

net/ipv4/gre_offload.c gre_gso_segment() -> skb_set_network_header()

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
BUF_SIZE	0	skb->dev	s32min-(-1),1-s32max
CAPPED_DATA	0	skb->data_len	1
DATA_SOURCE	0	skb	$0
CONSTRAINT	0	skb	<=49
CONSTRAINT	0	skb->data_len	<=49
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->inner_protocol	1-255
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->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->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
HALF_LOCKED2		rcu_read

net/ipv4/gre_offload.c gre_gso_segment() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
CAPPED_DATA	0	skb->head	1
DATA_SOURCE	0	skb	$0 [m]
CONSTRAINT	0	skb	<=49
CONSTRAINT	0	skb->data_len	<=49
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0-u32max[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->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->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
UNITS	1	offset	unit_byte
HALF_LOCKED2		rcu_read

net/batman-adv/distributed-arp-table.c batadv_dat_put_dhcp() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	1	offset	14
BUF_SIZE	0	skb	0-s32max
BUF_SIZE	0	skb	0-s32max
CAPPED_DATA	0	skb	1
DATA_SOURCE	0	skb	r batadv_dat_arp_create_reply
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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
HALF_LOCKED2		&mesh_iface->tx_global_lock
HALF_LOCKED2		&txq->_xmit_lock
HALF_LOCKED2		bh
HALF_LOCKED2		flags
HALF_LOCKED2		rcu_read

net/batman-adv/distributed-arp-table.c batadv_dat_snoop_incoming_dhcp_ack() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	1	offset	24,30,32
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb	1
CAPPED_DATA	1	offset	1
DATA_SOURCE	0	skb	$1
MEM_ZERO	0	skb->cb
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->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	1-u32max[c]
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	skb->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->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
UNITS	1	offset	unit_byte
HALF_LOCKED2		rcu_read

net/nsh/nsh.c nsh_gso_segment() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
CAPPED_DATA	0	skb->head	1
DATA_SOURCE	0	skb	$0 [m]
DATA_SOURCE	1	offset	r skb_mac_header_len
CONSTRAINT	0	skb	<=49
CONSTRAINT	0	skb->data_len	<=49
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0-u32max[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->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->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
HALF_LOCKED2		rcu_read

drivers/infiniband/hw/cxgb4/cm.c rx_pkt() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
DATA_SOURCE	0	skb	$1
NOCHECK_CALL
UNITS	1	offset	unit_byte
HALF_LOCKED2		&pool->lock

net/hsr/hsr_device.c send_hsr_supervision_frame() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	1	offset	20
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
DATA_SOURCE	0	skb	r hsr_init_skb
NOCHECK_CALL

net/xfrm/xfrm_output.c xfrm4_beet_encap_add() -> skb_set_network_header()

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->mark	1
DATA_SOURCE	0	skb	$1
PREEMPT_ADD
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->inner_protocol	1-255
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->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->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
UNITS	0	skb	unit_byte
UNITS	1	offset	unit_byte
HALF_LOCKED2		rcu_read

net/xfrm/xfrm_output.c xfrm4_transport_output() -> skb_set_network_header()

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
CAPPED_DATA	0	skb->mark	1
DATA_SOURCE	0	skb	$1
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-1[c]
HOST_DATA	0	skb->inner_protocol	1-255
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	1-u32max[c]
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
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->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
UNITS	0	skb	unit_byte
HALF_LOCKED2		rcu_read

net/xfrm/xfrm_output.c xfrm4_tunnel_encap_add() -> skb_set_network_header()

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->mark	1
DATA_SOURCE	0	skb	$1
PREEMPT_ADD
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->inner_protocol	1-255
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->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->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
UNITS	0	skb	unit_byte
HALF_LOCKED2		rcu_read

net/xfrm/xfrm_output.c xfrm6_beet_encap_add() -> skb_set_network_header()

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->mark	1
DATA_SOURCE	0	skb	$1
PREEMPT_ADD
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->inner_protocol	1-255
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->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->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
UNITS	0	skb	unit_byte
HALF_LOCKED2		rcu_read

net/xfrm/xfrm_output.c xfrm6_ro_output() -> skb_set_network_header()

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
CAPPED_DATA	0	skb->mark	1
DATA_SOURCE	0	skb	$1
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-1[c]
HOST_DATA	0	skb->inner_protocol	1-255
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	1-u32max[c]
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
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->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
UNITS	0	skb	unit_byte
HALF_LOCKED2		rcu_read

net/xfrm/xfrm_output.c xfrm6_transport_output() -> skb_set_network_header()

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
CAPPED_DATA	0	skb->mark	1
DATA_SOURCE	0	skb	$1
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-1[c]
HOST_DATA	0	skb->inner_protocol	1-255
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	1-u32max[c]
HOST_DATA	0	skb->prev->tstamp	500000002-4294967299794967295[c]
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->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
UNITS	0	skb	unit_byte
HALF_LOCKED2		rcu_read

net/xfrm/xfrm_output.c xfrm6_tunnel_encap_add() -> skb_set_network_header()

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->mark	1
DATA_SOURCE	0	skb	$1
PREEMPT_ADD
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->inner_protocol	1-255
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->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->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
UNITS	0	skb	unit_byte
HALF_LOCKED2		rcu_read

drivers/net/tap.c tap_get_user() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
PARAM_VALUE	1	offset	14
BUF_SIZE	0	skb	0-s32max
BUF_SIZE	0	skb	0-s32max
DATA_SOURCE	0	skb	r tap_alloc_skb
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/tap.c tap_get_user() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	1	offset	0-u16max
BUF_SIZE	0	skb	0-s32max
BUF_SIZE	0	skb	0-s32max
DATA_SOURCE	0	skb	r tap_alloc_skb
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		rcu_read

drivers/net/tap.c tap_get_user_xdp() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	0-s32max,18446744071562067968-u64max
PARAM_VALUE	0	skb->head	0
PARAM_VALUE	0	skb->network_header	0
PARAM_VALUE	1	offset	14
DATA_SOURCE	0	skb	r build_skb
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	skb->end
HALF_LOCKED2		&vq->mutex

drivers/net/tap.c tap_get_user_xdp() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	1	offset	0-u16max
DATA_SOURCE	0	skb	r build_skb
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	skb->end
LOCK2		rcu_read
HALF_LOCKED2		&vq->mutex

drivers/net/ethernet/broadcom/bnge/bnge_txrx.c bnge_gro_func() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
PARAM_VALUE	0	skb->head	0
PARAM_VALUE	0	skb->network_header	0
PARAM_VALUE	1	offset	(-14)-497
BUF_SIZE	0	skb	0-s32max
BUF_SIZE	0	skb	0-s32max
DATA_SOURCE	0	skb	$3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		bh
HALF_LOCKED2		rcu_read

net/batman-adv/send.c batadv_send_skb_packet() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->head	1-u64max
PARAM_VALUE	1	offset	14
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb	1
DATA_SOURCE	0	skb	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_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->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->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->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
HALF_LOCKED2		rcu_read

drivers/net/ethernet/stmicro/stmmac/stmmac_selftests.c stmmac_test_get_udp_skb() -> skb_set_network_header()

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->head	1
DATA_SOURCE	0	skb	r netdev_alloc_skb
NOCHECK_CALL
UNITS	1	offset	unit_byte

net/bridge/br_forward.c br_dev_queue_push_xmit() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	1	offset	0-u16max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->len	1
DATA_SOURCE	0	skb	$2
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->inner_protocol	1-255
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->next->prev->csum_offset	0-u16max
HOST_DATA	0	skb->next->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->next->prev->len	1-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->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
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->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
HALF_LOCKED2		bh
HALF_LOCKED2		rcu_read

net/ipv4/udp.c __udp4_lib_err_encap() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
CAPPED_DATA	0	skb->dev->nd_net.net	1
DATA_SOURCE	0	skb	$4
DATA_SOURCE	1	offset	r skb_network_offset
NOCHECK_CALL

net/core/selftests.c net_test_get_skb() -> skb_set_network_header()

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->head	1
DATA_SOURCE	0	skb	r netdev_alloc_skb
NOCHECK_CALL
UNITS	1	offset	unit_byte

drivers/net/dsa/qca/qca8k-8xxx.c qca8k_alloc_mdio_header() -> skb_set_network_header()

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	r dev_alloc_skb
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	offset	unit_byte

drivers/net/netdevsim/dev.c nsim_dev_trap_skb_build() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	3776
BUF_SIZE	0	skb	3776
DATA_SOURCE	0	skb	r alloc_skb
PREEMPT_ADD
NOCHECK_CALL
UNITS	1	offset	unit_byte
LOCK2		&nsim_trap_data->trap_lock
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct nsim_trap_data)->trap_lock

net/ipv4/ip_tunnel.c ip_tunnel_rcv() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
PARAM_VALUE	0	skb->head	1-u64max
PARAM_VALUE	1	offset	0,14
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb	1
CAPPED_DATA	0	skb->dev->nd_net.net	1
DATA_SOURCE	0	skb	$1
FUZZY_MAX	1	offset	14
CONSTRAINT	0	skb	<=49
BIT_INFO	1	offset	0x0,0xe
HARD_MAX	1	offset	14
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->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->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
HALF_LOCKED2		rcu_read

drivers/net/ethernet/jme.c jme_udpsum() -> skb_set_network_header()

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

lib/tests/blackhole_dev_kunit.c test_blackholedev() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	1	offset	0
BUF_SIZE	0	skb	256
BUF_SIZE	0	skb	256
CAPPED_DATA	0	skb->head	1
DATA_SOURCE	0	skb	r alloc_skb
NOCHECK_CALL

net/ipv4/icmp.c icmp_rcv() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	1	offset	8
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb	1
CAPPED_DATA	0	skb->dev->nd_net.net	1
DATA_SOURCE	0	skb	$0
CONSTRAINT	0	skb	<=49
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->next->prev->csum_offset	0-u16max
HOST_DATA	0	skb->next->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->next->prev->len	1-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]
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->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->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->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
UNITS	1	offset	unit_byte
HALF_LOCKED2		rcu_read

net/ipv4/icmp.c icmp_rcv() -> skb_set_network_header()

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
CAPPED_DATA	0	skb->dev->nd_net.net	1
DATA_SOURCE	0	skb	$0
DATA_SOURCE	1	offset	r skb_network_offset
CONSTRAINT	0	skb	<=49
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->next->prev->csum_offset	0-u16max
HOST_DATA	0	skb->next->prev->data_len	0-u32max[c]
HOST_DATA	0	skb->next->prev->len	1-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]
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->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->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->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
HALF_LOCKED2		rcu_read

net/core/gro.c dev_gro_receive() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
CAPPED_DATA	0	skb->dev->hard_header_len	1
DATA_SOURCE	0	skb	$1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		rcu_read

drivers/net/ethernet/intel/ixgbe/ixgbe_fcoe.c ixgbe_fso() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->len	2-u32max[c]
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->end
NO_OVERFLOW_SIMPLE	0	skb->len
NO_OVERFLOW_SIMPLE	0	skb->tail
NO_OVERFLOW_SIMPLE	0	skb->truesize
UNITS	1	offset	unit_byte

net/ipv6/ip6_output.c __ip6_append_data() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
PARAM_VALUE	1	offset	0-u16max
BUF_SIZE	0	skb	0-s32max
BUF_SIZE	0	skb	0-s32max
FUZZY_MAX	1	offset	0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/vxlan/vxlan_core.c skb_vlan_inet_prepare() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	1	offset	0-u16max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
DATA_SOURCE	0	skb	$0
FUZZY_MAX	1	offset	14
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum_offset	0-u16max
HOST_DATA	0	skb->data_len	0-2147483648[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
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->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	1	offset	unit_byte
HALF_LOCKED2		bh
HALF_LOCKED2		flags
HALF_LOCKED2		rcu_read

net/bridge/br_multicast.c br_ip4_multicast_alloc_query() -> skb_set_network_header()

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	r netdev_alloc_skb_ip_align
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	offset	unit_byte
HALF_LOCKED2		&br->multicast_lock
HALF_LOCKED2		&brmctx->br->multicast_lock
TYPE_LOCK		(struct net_bridge)->multicast_lock

net/bridge/br_multicast.c br_ip6_multicast_alloc_query() -> skb_set_network_header()

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	r netdev_alloc_skb_ip_align
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	offset	unit_byte
HALF_LOCKED2		&br->multicast_lock
HALF_LOCKED2		&brmctx->br->multicast_lock
TYPE_LOCK		(struct net_bridge)->multicast_lock

net/openvswitch/actions.c ovs_vport_output() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->head	1-u64max
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb->head	1
DATA_SOURCE	0	skb	$2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->csum	0-192513[c]
HOST_DATA	0	skb->csum_offset	0-u16max
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	1-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]
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
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->next->tail
NO_OVERFLOW_SIMPLE	0	skb->next->truesize
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
HALF_LOCKED2		&net->ipv4.mfc_mutex
HALF_LOCKED2		&net->ipv6.mfc_mutex
HALF_LOCKED2		&sk->sk_callback_lock
HALF_LOCKED2		&sk->sk_lock.slock
HALF_LOCKED2		rcu_read
HALF_LOCKED2		sk

drivers/net/netdevsim/psample.c nsim_dev_psample_skb_build() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	3776
BUF_SIZE	0	skb	3776
DATA_SOURCE	0	skb	r alloc_skb
NOCHECK_CALL
UNITS	1	offset	unit_byte
HALF_LOCKED2		&pool->lock

drivers/net/ethernet/micrel/ksz884x.c copy_old_skb() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	1	offset	14
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
DATA_SOURCE	0	skb	$1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	skb->len	0-u32max[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
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		&dev->tx_global_lock
HALF_LOCKED2		&hw_priv->hwlock
HALF_LOCKED2		&txq->_xmit_lock
HALF_LOCKED2		bh
HALF_LOCKED2		flags
HALF_LOCKED2		irq
HALF_LOCKED2		rcu_read

drivers/net/ethernet/micrel/ksz884x.c csum_verified() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
PARAM_VALUE	1	offset	4
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

net/ipv4/ipmr.c ipmr_cache_report() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
BUF_SIZE	0	skb	128
BUF_SIZE	0	skb	128
CAPPED_DATA	0	skb	1
DATA_SOURCE	0	skb	r alloc_skb
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	offset	unit_byte
HALF_LOCKED2		bh
HALF_LOCKED2		global &mfc_unres_lock
HALF_LOCKED2		rcu_read

net/ipv6/icmp.c icmpv6_rcv() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	1	offset	8
BUF_SIZE	0	skb	(-1)-s32max
BUF_SIZE	0	skb	(-1)-s32max
CAPPED_DATA	0	skb	1
CAPPED_DATA	0	skb->dev->nd_net.net	1
DATA_SOURCE	0	skb	$0
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->next->csum_offset	0
HOST_DATA	0	skb->next->data_len	0-u32max[c]
HOST_DATA	0	skb->next->len	0-u32max[c]
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	1-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]
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->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->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
UNITS	1	offset	unit_byte

net/ipv6/icmp.c icmpv6_rcv() -> skb_set_network_header()

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
CAPPED_DATA	0	skb->dev->nd_net.net	1
DATA_SOURCE	0	skb	$0
DATA_SOURCE	1	offset	r skb_network_offset
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->next->csum_offset	0
HOST_DATA	0	skb->next->data_len	0-u32max[c]
HOST_DATA	0	skb->next->len	0-u32max[c]
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	1-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]
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->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->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

drivers/net/wireless/ti/wlcore/tx.c wl1271_tx_fill_hdr() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->head	1-u64max
CAPPED_DATA	0	skb	1
DATA_SOURCE	0	skb	$2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	offset	unit_byte
LOCK2		&wl->mutex
TYPE_LOCK		(struct wl1271)->mutex

net/ipv4/ip_output.c __ip_append_data() -> skb_set_network_header()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
PARAM_VALUE	1	offset	0-u16max
BUF_SIZE	0	skb	0-s32max
BUF_SIZE	0	skb	0-s32max
FUZZY_MAX	1	offset	0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	offset	unit_byte