sk_msg_free identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

include/linux/skmsg.h, line 132 (as a prototype)

Defined in 1 files as a function:

net/core/skmsg.c, line 218 (as a function)

Referenced in 5 files:

Smatch caller information:

net/core/skmsg.c __sk_psock_purge_ingress_msg() -> sk_msg_free()

Type	Parameter	Key	Value
PARAM_VALUE	1	msg	4096-ptr_max
CAPPED_DATA	1	&msg->list	1
NOCHECK_CALL
UNITS	0	sk	unit_byte
HALF_LOCKED2		&pool->lock

net/core/skmsg.c sk_psock_cork_free() -> sk_msg_free()

Type	Parameter	Key	Value
PARAM_VALUE	1	msg	1-u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	sk	unit_byte
HALF_LOCKED2		&psock->ingress_lock
HALF_LOCKED2		bh

net/core/skmsg.c sk_psock_queue_msg() -> sk_msg_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	sk	4096-ptr_max
PARAM_VALUE	0	sk->__sk_common.skc_prot	4096-ptr_max
PARAM_VALUE	1	msg	4096-ptr_max
PARAM_VALUE	1	msg->sg.end	0-s32max
PARAM_VALUE	1	msg->sg.start	0
PARAM_VALUE	1	msg->skb	4096-ptr_max
PARAM_VALUE	1	msg->skb->destructor	3826643865618239488
PARAM_VALUE	1	msg->skb->sk	4096-ptr_max
BUF_SIZE	1	msg	712
BUF_SIZE	1	msg->skb	(-1)-s32max
CAPPED_DATA	0	sk	1
DATA_SOURCE	1	msg	$1
BIT_INFO	1	msg->sg.size	0x0,0x7fffffff
PREEMPT_ADD			<- disables preempt
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	1	msg->sg.size
NO_OVERFLOW_SIMPLE	1	msg->skb->end
NO_OVERFLOW_SIMPLE	1	msg->skb->len
UNITS	0	sk	unit_byte
USER_PTR	1	msg->skb->data
LOCK2		&psock->ingress_lock
LOCK2		bh
HALF_LOCKED2		&pool->lock
HALF_LOCKED2		&psock->work_mutex
TYPE_LOCK		(struct sk_psock)->ingress_lock

net/tls/tls_sw.c bpf_exec_tx_verdict() -> sk_msg_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	sk	4096-ptr_max
PARAM_VALUE	0	sk->sk_dst_cache->dev_rcu->rtnl_link_ops->maxtype	0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE	0	sk->sk_err	74
PARAM_VALUE	0	sk->sk_lock.owned	1
PARAM_VALUE	0	sk->sk_lock.slock.rlock.dep_map->name	0-255
PARAM_VALUE	0	sk->sk_lock.wq.head.prev	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.wq.head.prev->next->next	4096-ptr_max
PARAM_VALUE	1	msg	4096-ptr_max
BUF_SIZE	1	msg	712
CAPPED_DATA	0	sk	1
DATA_SOURCE	0	sk	$1
DATA_SOURCE	1	msg	$0
RX_PATH
TASK_NOT_RUNNING
USER_DATA	1	msg->sg.size	0-u32max[c][u]
NO_OVERFLOW_SIMPLE	0	sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->end
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->len
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->end
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->len
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->truesize
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->end
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->len
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->end
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->len
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->truesize
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->truesize
UNITS	0	sk	unit_byte
LOCK2	0	sk
HALF_LOCKED2		&tls_ctx->tx_lock

net/tls/tls_sw.c tls_free_rec() -> sk_msg_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	sk	4096-ptr_max
PARAM_VALUE	0	sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	sk->ns_tracker->dead	0-1
PARAM_VALUE	0	sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	0	sk->sk_backlog.head->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	sk->sk_backlog.head->sk->ns_tracker->dead	0-1
PARAM_VALUE	0	sk->sk_backlog.head->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	0	sk->sk_lock.owned	1
PARAM_VALUE	0	sk->sk_lock.slock.rlock.dep_map->name	0-255
PARAM_VALUE	0	sk->sk_lock.wq.head.prev	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.wq.head.prev->next->next	4096-ptr_max
PARAM_VALUE	1	msg	4096-ptr_max
DATA_SOURCE	0	sk	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->end
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->len
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->end
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->len
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->truesize
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->end
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->len
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->end
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->len
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->truesize
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->truesize
UNITS	0	sk	unit_byte
LOCK2	0	sk
HALF_LOCKED2		&tls_ctx->tx_lock

net/tls/tls_sw.c tls_free_rec() -> sk_msg_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	sk	4096-ptr_max
PARAM_VALUE	0	sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	sk->ns_tracker->dead	0-1
PARAM_VALUE	0	sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	0	sk->sk_backlog.head->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	sk->sk_backlog.head->sk->ns_tracker->dead	0-1
PARAM_VALUE	0	sk->sk_backlog.head->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	0	sk->sk_lock.owned	1
PARAM_VALUE	0	sk->sk_lock.slock.rlock.dep_map->name	0-255
PARAM_VALUE	0	sk->sk_lock.wq.head.prev	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.wq.head.prev->next->next	4096-ptr_max
PARAM_VALUE	1	msg	4096-ptr_max
DATA_SOURCE	0	sk	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->end
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->len
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->end
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->len
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->truesize
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->end
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->len
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->end
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->len
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->truesize
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->truesize
UNITS	0	sk	unit_byte
LOCK2	0	sk
HALF_LOCKED2		&tls_ctx->tx_lock

net/tls/tls_sw.c tls_sw_release_resources_tx() -> sk_msg_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	sk	4096-ptr_max
PARAM_VALUE	0	sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	sk->ns_tracker->dead	0-1
PARAM_VALUE	0	sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	0	sk->sk_backlog.head->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	sk->sk_backlog.head->sk->ns_tracker->dead	0-1
PARAM_VALUE	0	sk->sk_backlog.head->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	0	sk->sk_callback_lock.dep_map->name	0-255
PARAM_VALUE	0	sk->sk_dst_cache->dev_rcu->rtnl_link_ops->maxtype	0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE	0	sk->sk_err	1-3,5-10,12-511,513-s32max
PARAM_VALUE	0	sk->sk_lock.owned	1
PARAM_VALUE	0	sk->sk_lock.slock.rlock.dep_map->name	0-255
PARAM_VALUE	0	sk->sk_lock.wq.head.prev	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.wq.head.prev->next->next	4096-ptr_max
PARAM_VALUE	1	msg	4096-ptr_max
CAPPED_DATA	0	sk	1
DATA_SOURCE	0	sk	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->end
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->len
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->end
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->len
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->truesize
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->end
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->len
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->end
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->len
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->truesize
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->truesize
LOCK2	0	sk

net/tls/tls_sw.c tls_sw_release_resources_tx() -> sk_msg_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	sk	4096-ptr_max
PARAM_VALUE	0	sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	sk->ns_tracker->dead	0-1
PARAM_VALUE	0	sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	0	sk->sk_backlog.head->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	sk->sk_backlog.head->sk->ns_tracker->dead	0-1
PARAM_VALUE	0	sk->sk_backlog.head->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	0	sk->sk_callback_lock.dep_map->name	0-255
PARAM_VALUE	0	sk->sk_dst_cache->dev_rcu->rtnl_link_ops->maxtype	0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE	0	sk->sk_err	1-3,5-10,12-511,513-s32max
PARAM_VALUE	0	sk->sk_lock.owned	1
PARAM_VALUE	0	sk->sk_lock.slock.rlock.dep_map->name	0-255
PARAM_VALUE	0	sk->sk_lock.wq.head.prev	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.wq.head.prev->next->next	4096-ptr_max
PARAM_VALUE	1	msg	4096-ptr_max
CAPPED_DATA	0	sk	1
DATA_SOURCE	0	sk	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->end
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->len
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->end
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->len
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->truesize
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->end
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->len
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->end
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->len
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->truesize
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->truesize
LOCK2	0	sk

net/tls/tls_sw.c tls_sw_release_resources_tx() -> sk_msg_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	sk	4096-ptr_max
PARAM_VALUE	0	sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	sk->ns_tracker->dead	0-1
PARAM_VALUE	0	sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	0	sk->sk_backlog.head->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	sk->sk_backlog.head->sk->ns_tracker->dead	0-1
PARAM_VALUE	0	sk->sk_backlog.head->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	0	sk->sk_callback_lock.dep_map->name	0-255
PARAM_VALUE	0	sk->sk_dst_cache->dev_rcu->rtnl_link_ops->maxtype	0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE	0	sk->sk_err	1-3,5-10,12-511,513-s32max
PARAM_VALUE	0	sk->sk_lock.owned	1
PARAM_VALUE	0	sk->sk_lock.slock.rlock.dep_map->name	0-255
PARAM_VALUE	0	sk->sk_lock.wq.head.prev	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.wq.head.prev->next->next	4096-ptr_max
PARAM_VALUE	1	msg	4096-ptr_max
CAPPED_DATA	0	sk	1
DATA_SOURCE	0	sk	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->end
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->len
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->end
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->len
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->truesize
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->end
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->len
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->end
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->len
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->truesize
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->truesize
LOCK2	0	sk

net/tls/tls_sw.c tls_tx_records() -> sk_msg_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	sk	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.owned	1
PARAM_VALUE	0	sk->sk_lock.wq.head.prev	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.wq.head.prev->next->next	4096-ptr_max
PARAM_VALUE	1	msg	4096-ptr_max
CAPPED_DATA	0	sk	1
DATA_SOURCE	0	sk	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->end
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->len
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->end
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->len
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->truesize
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->end
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->len
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->end
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->len
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->truesize
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->truesize
UNITS	0	sk	unit_byte
LOCK2	0	sk
HALF_LOCKED2		&tls_ctx->tx_lock

net/tls/tls_sw.c tls_tx_records() -> sk_msg_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	sk	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.owned	1
PARAM_VALUE	0	sk->sk_lock.wq.head.prev	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.wq.head.prev->next->next	4096-ptr_max
PARAM_VALUE	1	msg	4096-ptr_max
CAPPED_DATA	0	sk	1
DATA_SOURCE	0	sk	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->end
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->len
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->end
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->len
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->truesize
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->end
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->len
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->end
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->len
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->truesize
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->truesize
UNITS	0	sk	unit_byte
LOCK2	0	sk
HALF_LOCKED2		&tls_ctx->tx_lock

net/xfrm/espintcp.c espintcp_close() -> sk_msg_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	sk	4096-ptr_max
PARAM_VALUE	0	sk->__sk_common.skc_prot	6159194853380927488
PARAM_VALUE	1	msg	4096-ptr_max
BUF_SIZE	0	sk->__sk_common.skc_prot	448
CAPPED_DATA	0	sk	1
DATA_SOURCE	0	sk	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	sk->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->data_len
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->end
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->len
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->data_len
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->end
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->len
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->truesize
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->data_len
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->end
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->len
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->data_len
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->end
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->len
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->truesize
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->truesize

net/xfrm/espintcp.c espintcp_sendmsg() -> sk_msg_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	sk	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.owned	1
PARAM_VALUE	0	sk->sk_lock.slock.rlock.dep_map->name	0-255
PARAM_VALUE	0	sk->sk_lock.wq.head.prev	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.wq.head.prev->next->next	4096-ptr_max
PARAM_VALUE	0	*sk->sk_backlog.head->dev->name	0-255
PARAM_VALUE	1	msg	4096-ptr_max
PARAM_VALUE	1	msg->apply_bytes	0
PARAM_VALUE	1	msg->cork_bytes	0
PARAM_VALUE	1	msg->data	0
PARAM_VALUE	1	msg->data_end	0
PARAM_VALUE	1	msg->flags	0
PARAM_VALUE	1	msg->list.next	0
PARAM_VALUE	1	msg->list.prev	0
PARAM_VALUE	1	msg->sg.start	0
PARAM_VALUE	1	msg->sk	0
PARAM_VALUE	1	msg->sk_redir	0
PARAM_VALUE	1	msg->skb	0
CAPPED_DATA	0	sk	1
DATA_SOURCE	0	sk	$0
MEM_ZERO	1	msg
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	sk->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->data_len
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->data_len
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->data_len
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->data_len
UNITS	0	sk	unit_byte
LOCK2	0	sk
HALF_LOCKED2		&vq->mutex

net/ipv4/tcp_bpf.c bpf_tcp_ingress() -> sk_msg_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	sk	4096-ptr_max
PARAM_VALUE	0	sk->__sk_common.skc_prot	4096-ptr_max
PARAM_VALUE	0	sk->__sk_common.skc_prot->memory_allocated	1-u64max
PARAM_VALUE	0	sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	sk->ns_tracker->dead	0-1
PARAM_VALUE	0	sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	0	sk->sk_backlog.head->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	sk->sk_backlog.head->sk->ns_tracker->dead	0-1
PARAM_VALUE	0	sk->sk_backlog.head->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	0	sk->sk_lock.owned	1
PARAM_VALUE	0	sk->sk_lock.slock.rlock.dep_map->name	0-255
PARAM_VALUE	0	sk->sk_lock.wq.head.prev	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.wq.head.prev->next->next	4096-ptr_max
PARAM_VALUE	0	sk->sk_memcg->high_work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	sk->sk_sndbuf	s32min-(-1),4608-s32max
PARAM_VALUE	0	*sk->__sk_common.skc_prot->memory_pressure	1-u64max
PARAM_VALUE	1	msg	4096-ptr_max
BUF_SIZE	1	msg	712
CAPPED_DATA	0	sk->sk_user_data	1
DATA_SOURCE	0	sk	$0
DATA_SOURCE	1	msg	r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2	0	sk
HALF_LOCKED2		&vq->mutex
HALF_LOCKED2		sk

net/ipv4/tcp_bpf.c sk_psock_queue_msg() -> sk_msg_free()

Type	Parameter	Key	Value
PARAM_VALUE	1	msg	4096-ptr_max
PARAM_VALUE	1	msg->sg.copy	4096-ptr_max
PARAM_VALUE	1	msg->sg.end	0-17,19-u32max
BUF_SIZE	1	msg	712
DATA_SOURCE	1	msg	$1
BIT_INFO	1	msg->sg.end	0x0,0x7fffffff
PREEMPT_ADD			<- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	sk	unit_byte
LOCK2		&psock->ingress_lock
LOCK2		bh
LOCK2		sk
HALF_LOCKED2		&vq->mutex
TYPE_LOCK		(struct sk_psock)->ingress_lock

net/ipv4/tcp_bpf.c tcp_bpf_send_verdict() -> sk_msg_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	sk	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.owned	1
PARAM_VALUE	0	sk->sk_lock.slock.rlock.dep_map->name	0-255
PARAM_VALUE	0	sk->sk_lock.wq.head.prev	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.wq.head.prev->next->next	4096-ptr_max
PARAM_VALUE	1	msg	4096-ptr_max
PARAM_VALUE	1	msg->cork_bytes	1-u32max
PARAM_VALUE	1	msg->sg.curr	0-17,19-u32max
PARAM_VALUE	1	msg->sg.data	0
PARAM_VALUE	1	msg->sg.size	0-4294967294
BUF_SIZE	1	msg	(-1),712
BUF_SIZE	1	msg	(-1),712
CAPPED_DATA	0	sk	1
CAPPED_DATA	1	msg	1
CAPPED_DATA	1	msg->sg.size	1
DATA_SOURCE	0	sk	$0
DATA_SOURCE	1	msg	$2
PARAM_COMPARE	1	msg->cork_bytes	> $1->sg.size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	sk	unit_byte
LOCK2	0	sk
HALF_LOCKED2		&vq->mutex
HALF_LOCKED2		sk

net/ipv4/tcp_bpf.c tcp_bpf_send_verdict() -> sk_msg_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	sk	4096-ptr_max
PARAM_VALUE	0	sk->sk_err	0
PARAM_VALUE	0	sk->sk_lock.owned	1
PARAM_VALUE	0	sk->sk_lock.slock.rlock.dep_map->name	0-255
PARAM_VALUE	0	sk->sk_lock.wq.head.prev	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.wq.head.prev->next->next	4096-ptr_max
PARAM_VALUE	0	sk->sk_wmem_queued	s32min-2147483646
PARAM_VALUE	1	msg	4096-ptr_max
PARAM_VALUE	1	msg->sg.curr	0-17,19-u32max
PARAM_VALUE	1	msg->sg.data	0
BUF_SIZE	1	msg	(-1),712
BUF_SIZE	1	msg	(-1),712
CAPPED_DATA	0	sk	1
CAPPED_DATA	1	msg	1
DATA_SOURCE	0	sk	$0
DATA_SOURCE	1	msg	$2
RX_PATH
TASK_NOT_RUNNING
UNITS	0	sk	unit_byte
LOCK2	0	sk
HALF_LOCKED2		&vq->mutex
HALF_LOCKED2		sk

net/ipv4/tcp_bpf.c tcp_bpf_send_verdict() -> sk_msg_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	sk	4096-ptr_max
PARAM_VALUE	0	sk->__sk_common.skc_prot	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.dep_map->name	0-255
PARAM_VALUE	0	sk->sk_lock.owned	1
PARAM_VALUE	0	sk->sk_lock.slock.rlock.dep_map->name	0-255
PARAM_VALUE	0	sk->sk_lock.wq.head.prev	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.wq.head.prev->next->next	4096-ptr_max
PARAM_VALUE	0	*sk->sk_backlog.head->dev->name	0-255
PARAM_VALUE	1	msg	4096-ptr_max
PARAM_VALUE	1	msg->sg.curr	0-17,19-u32max
PARAM_VALUE	1	msg->sg.data	0
BUF_SIZE	1	msg	(-1),712
BUF_SIZE	1	msg	(-1),712
CAPPED_DATA	0	sk	1
CAPPED_DATA	1	msg	1
DATA_SOURCE	0	sk	$0
DATA_SOURCE	1	msg	$2
RX_PATH
TASK_NOT_RUNNING
UNITS	0	sk	unit_byte
LOCK2	0	sk
HALF_LOCKED2		&vq->mutex
HALF_LOCKED2		sk

net/ipv4/tcp_bpf.c tcp_bpf_send_verdict() -> sk_msg_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	sk	4096-ptr_max
PARAM_VALUE	0	sk->__sk_common.skc_prot	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.dep_map->name	0-255
PARAM_VALUE	0	sk->sk_lock.owned	1
PARAM_VALUE	0	sk->sk_lock.slock.rlock.dep_map->name	0-255
PARAM_VALUE	0	sk->sk_lock.wq.head.prev	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.wq.head.prev->next->next	4096-ptr_max
PARAM_VALUE	0	*sk->sk_backlog.head->dev->name	0-255
PARAM_VALUE	1	msg	4096-ptr_max
PARAM_VALUE	1	msg->sg.curr	0-17,19-u32max
PARAM_VALUE	1	msg->sg.data	0
BUF_SIZE	1	msg	(-1),712
BUF_SIZE	1	msg	(-1),712
CAPPED_DATA	0	sk	1
CAPPED_DATA	1	msg	1
DATA_SOURCE	0	sk	$0
DATA_SOURCE	1	msg	$2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	sk	unit_byte
LOCK2	0	sk
HALF_LOCKED2		&vq->mutex
HALF_LOCKED2		sk

net/ipv4/tcp_bpf.c tcp_bpf_send_verdict() -> sk_msg_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	sk	4096-ptr_max
PARAM_VALUE	0	sk->sk_err	0
PARAM_VALUE	0	sk->sk_lock.owned	1
PARAM_VALUE	0	sk->sk_lock.slock.rlock.dep_map->name	0-255
PARAM_VALUE	0	sk->sk_lock.wq.head.prev	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.wq.head.prev->next->next	4096-ptr_max
PARAM_VALUE	0	sk->sk_wmem_queued	s32min-2147483646
PARAM_VALUE	1	msg	4096-ptr_max
PARAM_VALUE	1	msg->sg.curr	0-17,19-u32max
PARAM_VALUE	1	msg->sg.data	0
BUF_SIZE	1	msg	(-1),712
BUF_SIZE	1	msg	(-1),712
CAPPED_DATA	0	sk	1
CAPPED_DATA	1	msg	1
CAPPED_DATA	1	msg->sg.start	1
DATA_SOURCE	0	sk	$0
DATA_SOURCE	1	msg	$2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	sk	unit_byte
LOCK2	0	sk
HALF_LOCKED2		&vq->mutex
HALF_LOCKED2		sk

net/ipv4/tcp_bpf.c tcp_bpf_sendmsg() -> sk_msg_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	sk	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.owned	1
PARAM_VALUE	0	sk->sk_lock.slock.rlock.dep_map->name	0-255
PARAM_VALUE	0	sk->sk_lock.wq.head.prev	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	sk->sk_lock.wq.head.prev->next->next	4096-ptr_max
PARAM_VALUE	0	*sk->sk_backlog.head->dev->name	0-255
PARAM_VALUE	1	msg	1308179245829541888
PARAM_VALUE	1	msg->sg.data	0
BUF_SIZE	1	msg	(-1),712
BUF_SIZE	1	msg	(-1),712
CAPPED_DATA	0	sk	1
DATA_SOURCE	0	sk	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	sk->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->data_len
NO_OVERFLOW_SIMPLE	0	sk->sk_receive_queue.prev->next->data_len
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->data_len
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.next->prev->data_len
UNITS	0	sk	unit_byte
LOCK2	0	sk
HALF_LOCKED2		&vq->mutex