skb_maybe_pull_tail identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

net/core/skbuff.c, line 5829 (as a function)

Referenced in 1 files:

net/core/skbuff.c

Smatch caller information:

net/core/skbuff.c skb_checksum_setup_ip() -> skb_maybe_pull_tail()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->cb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
PARAM_VALUE	0	skb->dev	4096-ptr_max
PARAM_VALUE	0	skb->dev->ip6_ptr->mc_query_work.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	skb->dev->ip6_ptr->mc_query_work.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	skb->dev->ip6_ptr->mc_query_work.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	skb->dev->ip6_ptr->mc_report_work.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	skb->dev->ip6_ptr->mc_report_work.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	skb->dev->ip6_ptr->mc_report_work.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	skb->dev->ip6_ptr->stats.proc_dir_entry	0,4806605944481423360
PARAM_VALUE	0	skb->dev->nd_net.net->ipv4.fqdir->f->frag_expire	0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE	0	skb->dev->nd_net.net->ipv4.fqdir->f->qsize	0,304,320
PARAM_VALUE	0	skb->dev->ndisc_ops->fill_addr_option	4096-ptr_max
PARAM_VALUE	0	skb->dev->ndisc_ops->parse_options	4096-ptr_max
PARAM_VALUE	0	skb->ip_summed	3
PARAM_VALUE	0	skb->len	0-4294967281
PARAM_VALUE	0	skb->next	0
PARAM_VALUE	0	skb->pkt_type	1-3
PARAM_VALUE	0	skb->prev	0
PARAM_VALUE	0	skb->protocol	2048,34525
PARAM_VALUE	0	skb->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	skb->sk->ns_tracker->dead	0-1
PARAM_VALUE	0	skb->sk->ns_tracker->free_stack_handle	0-4294967295
DATA_SOURCE	0	skb	$0
HARD_MAX	0	skb->protocol	34525
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS	1	len	unit_byte
UNITS	2	max	unit_byte
HALF_LOCKED2		&ni->dev_lock
HALF_LOCKED2		&queue->rx_lock
HALF_LOCKED2		bh
HALF_LOCKED2		rcu_read

net/core/skbuff.c skb_checksum_setup_ip() -> skb_maybe_pull_tail()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->cb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
PARAM_VALUE	0	skb->dev	4096-ptr_max
PARAM_VALUE	0	skb->dev->ip6_ptr->mc_query_work.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	skb->dev->ip6_ptr->mc_query_work.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	skb->dev->ip6_ptr->mc_query_work.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	skb->dev->ip6_ptr->mc_report_work.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	skb->dev->ip6_ptr->mc_report_work.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	skb->dev->ip6_ptr->mc_report_work.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	skb->dev->ip6_ptr->stats.proc_dir_entry	0,4806605944481423360
PARAM_VALUE	0	skb->dev->nd_net.net->ipv4.fqdir->f->frag_expire	0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE	0	skb->dev->nd_net.net->ipv4.fqdir->f->qsize	0,304,320
PARAM_VALUE	0	skb->dev->ndisc_ops->fill_addr_option	4096-ptr_max
PARAM_VALUE	0	skb->dev->ndisc_ops->parse_options	4096-ptr_max
PARAM_VALUE	0	skb->ip_summed	3
PARAM_VALUE	0	skb->len	0-4294967281
PARAM_VALUE	0	skb->next	0
PARAM_VALUE	0	skb->pkt_type	1-3
PARAM_VALUE	0	skb->prev	0
PARAM_VALUE	0	skb->protocol	2048,34525
PARAM_VALUE	0	skb->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	skb->sk->ns_tracker->dead	0-1
PARAM_VALUE	0	skb->sk->ns_tracker->free_stack_handle	0-4294967295
DATA_SOURCE	0	skb	$0
HARD_MAX	0	skb->protocol	34525
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS	1	len	unit_byte
UNITS	2	max	unit_byte
HALF_LOCKED2		&ni->dev_lock
HALF_LOCKED2		&queue->rx_lock
HALF_LOCKED2		bh
HALF_LOCKED2		rcu_read

net/core/skbuff.c skb_checksum_setup_ipv4() -> skb_maybe_pull_tail()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->cb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
PARAM_VALUE	0	skb->dev	4096-ptr_max
PARAM_VALUE	0	skb->dev->nd_net.net->ipv4.fqdir->f->frag_expire	0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE	0	skb->dev->nd_net.net->ipv4.fqdir->f->qsize	0,304,320
PARAM_VALUE	0	skb->dev->ndisc_ops->fill_addr_option	4096-ptr_max
PARAM_VALUE	0	skb->dev->ndisc_ops->parse_options	4096-ptr_max
PARAM_VALUE	0	skb->dev->ndisc_ops->update	4096-ptr_max
PARAM_VALUE	0	skb->ip_summed	3
PARAM_VALUE	0	skb->len	0-4294967281
PARAM_VALUE	0	skb->next	0
PARAM_VALUE	0	skb->pkt_type	1-3
PARAM_VALUE	0	skb->prev	0
PARAM_VALUE	0	skb->protocol	2048
PARAM_VALUE	0	skb->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	skb->sk->ns_tracker->dead	0-1
PARAM_VALUE	0	skb->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	1	len	20
PARAM_VALUE	2	max	128
DATA_SOURCE	0	skb	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS	1	len	unit_byte
HALF_LOCKED2		&queue->rx_lock
HALF_LOCKED2		bh
HALF_LOCKED2		rcu_read

net/core/skbuff.c skb_checksum_setup_ipv6() -> skb_maybe_pull_tail()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->cb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
PARAM_VALUE	0	skb->dev	4096-ptr_max
PARAM_VALUE	0	skb->dev->nd_net.net->ipv4.fqdir->f->frag_expire	0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE	0	skb->dev->nd_net.net->ipv4.fqdir->f->qsize	0,304,320
PARAM_VALUE	0	skb->dev->ndisc_ops->fill_addr_option	4096-ptr_max
PARAM_VALUE	0	skb->dev->ndisc_ops->parse_options	4096-ptr_max
PARAM_VALUE	0	skb->dev->ndisc_ops->update	4096-ptr_max
PARAM_VALUE	0	skb->ip_summed	3
PARAM_VALUE	0	skb->len	0-4294967281
PARAM_VALUE	0	skb->next	0
PARAM_VALUE	0	skb->pkt_type	1-3
PARAM_VALUE	0	skb->prev	0
PARAM_VALUE	0	skb->protocol	34525
PARAM_VALUE	0	skb->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	skb->sk->ns_tracker->dead	0-1
PARAM_VALUE	0	skb->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	1	len	40
PARAM_VALUE	2	max	256
DATA_SOURCE	0	skb	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS	1	len	unit_byte
HALF_LOCKED2		&queue->rx_lock
HALF_LOCKED2		bh
HALF_LOCKED2		rcu_read

net/core/skbuff.c skb_checksum_setup_ipv6() -> skb_maybe_pull_tail()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->cb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
PARAM_VALUE	0	skb->dev	4096-ptr_max
PARAM_VALUE	0	skb->dev->nd_net.net->ipv4.fqdir->f->frag_expire	0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE	0	skb->dev->nd_net.net->ipv4.fqdir->f->qsize	0,304,320
PARAM_VALUE	0	skb->dev->ndisc_ops->fill_addr_option	4096-ptr_max
PARAM_VALUE	0	skb->dev->ndisc_ops->parse_options	4096-ptr_max
PARAM_VALUE	0	skb->dev->ndisc_ops->update	4096-ptr_max
PARAM_VALUE	0	skb->ip_summed	3
PARAM_VALUE	0	skb->len	0-4294967281
PARAM_VALUE	0	skb->next	0
PARAM_VALUE	0	skb->pkt_type	1-3
PARAM_VALUE	0	skb->prev	0
PARAM_VALUE	0	skb->protocol	34525
PARAM_VALUE	0	skb->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	skb->sk->ns_tracker->dead	0-1
PARAM_VALUE	0	skb->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	1	len	42,50-65577
PARAM_VALUE	2	max	256
CAPPED_DATA	1	len	1
DATA_SOURCE	0	skb	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS	1	len	unit_byte
HALF_LOCKED2		&queue->rx_lock
HALF_LOCKED2		bh
HALF_LOCKED2		rcu_read

net/core/skbuff.c skb_checksum_setup_ipv6() -> skb_maybe_pull_tail()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->cb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
PARAM_VALUE	0	skb->dev	4096-ptr_max
PARAM_VALUE	0	skb->dev->nd_net.net->ipv4.fqdir->f->frag_expire	0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE	0	skb->dev->nd_net.net->ipv4.fqdir->f->qsize	0,304,320
PARAM_VALUE	0	skb->dev->ndisc_ops->fill_addr_option	4096-ptr_max
PARAM_VALUE	0	skb->dev->ndisc_ops->parse_options	4096-ptr_max
PARAM_VALUE	0	skb->dev->ndisc_ops->update	4096-ptr_max
PARAM_VALUE	0	skb->ip_summed	3
PARAM_VALUE	0	skb->len	0-4294967281
PARAM_VALUE	0	skb->next	0
PARAM_VALUE	0	skb->pkt_type	1-3
PARAM_VALUE	0	skb->prev	0
PARAM_VALUE	0	skb->protocol	34525
PARAM_VALUE	0	skb->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	skb->sk->ns_tracker->dead	0-1
PARAM_VALUE	0	skb->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	1	len	52,60-65587
PARAM_VALUE	2	max	256
CAPPED_DATA	1	len	1
DATA_SOURCE	0	skb	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS	1	len	unit_byte
HALF_LOCKED2		&queue->rx_lock
HALF_LOCKED2		bh
HALF_LOCKED2		rcu_read

net/core/skbuff.c skb_checksum_setup_ipv6() -> skb_maybe_pull_tail()

Type	Parameter	Key	Value
PARAM_VALUE	0	skb	4096-ptr_max
PARAM_VALUE	0	skb->cb	4096-ptr_max
PARAM_VALUE	0	skb->data	4096-ptr_max
PARAM_VALUE	0	skb->dev	4096-ptr_max
PARAM_VALUE	0	skb->dev->nd_net.net->ipv4.fqdir->f->frag_expire	0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE	0	skb->dev->nd_net.net->ipv4.fqdir->f->qsize	0,304,320
PARAM_VALUE	0	skb->dev->ndisc_ops->fill_addr_option	4096-ptr_max
PARAM_VALUE	0	skb->dev->ndisc_ops->parse_options	4096-ptr_max
PARAM_VALUE	0	skb->dev->ndisc_ops->update	4096-ptr_max
PARAM_VALUE	0	skb->ip_summed	3
PARAM_VALUE	0	skb->len	0-4294967281
PARAM_VALUE	0	skb->next	0
PARAM_VALUE	0	skb->pkt_type	1-3
PARAM_VALUE	0	skb->prev	0
PARAM_VALUE	0	skb->protocol	34525
PARAM_VALUE	0	skb->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	skb->sk->ns_tracker->dead	0-1
PARAM_VALUE	0	skb->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	1	len	48,56-65583
PARAM_VALUE	2	max	256
CAPPED_DATA	1	len	1
DATA_SOURCE	0	skb	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS	1	len	unit_byte
HALF_LOCKED2		&queue->rx_lock
HALF_LOCKED2		bh
HALF_LOCKED2		rcu_read