unix_stream_bpf_update_proto identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

net/unix/af_unix.h, line 63 (as a prototype)

Defined in 1 files as a function:

net/unix/unix_bpf.c, line 164 (as a function)

Referenced in 1 files:

net/unix/af_unix.c, line 1079

Smatch caller information:

net/core/sock_map.c sock_map_init_proto() -> (struct proto)->psock_update_sk_prot()

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->psock_update_sk_prot	1-u64max
PARAM_VALUE	0	sk->sk_callback_lock.dep_map->name	0-255
PARAM_VALUE	0	sk->sk_callback_lock.owner	(-1)
PARAM_VALUE	0	sk->sk_callback_lock.owner_cpu	u32max
PARAM_VALUE	0	sk->sk_callback_lock.raw_lock.cnts.counter	0-s32max
PARAM_VALUE	0	sk->sk_callback_lock.raw_lock.wlocked	0
PARAM_VALUE	0	sk->sk_user_data	4101-18446744073709547525
PARAM_VALUE	1	psock	4096-ptr_max
PARAM_VALUE	1	psock->eval	3
PARAM_VALUE	1	psock->ingress_msg.next	4096-ptr_max
PARAM_VALUE	1	psock->ingress_msg.next->next	4096-ptr_max
PARAM_VALUE	1	psock->ingress_msg.prev	4096-ptr_max
PARAM_VALUE	1	psock->ingress_msg.prev->next	4096-ptr_max
PARAM_VALUE	1	psock->ingress_msg.prev->prev	4096-ptr_max
PARAM_VALUE	1	psock->ingress_skb.next	4096-ptr_max
PARAM_VALUE	1	psock->ingress_skb.prev	4096-ptr_max
PARAM_VALUE	1	psock->ingress_skb.qlen	0
PARAM_VALUE	1	psock->link.next	4096-ptr_max
PARAM_VALUE	1	psock->link.next->next	4096-ptr_max
PARAM_VALUE	1	psock->link.prev	4096-ptr_max
PARAM_VALUE	1	psock->link.prev->next	4096-ptr_max
PARAM_VALUE	1	psock->link.prev->prev	4096-ptr_max
PARAM_VALUE	1	psock->psock_update_sk_prot	1-u64max
PARAM_VALUE	1	psock->refcnt.refs.counter	(-1073741824),0-s32max
PARAM_VALUE	1	psock->sk	4096-ptr_max
PARAM_VALUE	1	psock->sk->__sk_common.skc_prot	4096-ptr_max
PARAM_VALUE	1	psock->sk->sk_callback_lock.owner_cpu	0
PARAM_VALUE	1	psock->sk->sk_callback_lock.raw_lock.cnts.counter	0-s32max
PARAM_VALUE	1	psock->sk->sk_user_data	0
PARAM_VALUE	1	psock->sk_proto	4096-ptr_max
PARAM_VALUE	1	psock->sk_proto->psock_update_sk_prot	1-u64max
PARAM_VALUE	1	psock->work_mutex.dep_map->name	0-255
PARAM_VALUE	1	psock->work_mutex.first_waiter	0
PARAM_VALUE	1	psock->work_mutex.magic	4096-ptr_max
PARAM_VALUE	1	psock->work_mutex.osq.tail.counter	0
PARAM_VALUE	1	psock->work_mutex.owner.counter	0
PARAM_VALUE	2	restore	0
BUF_SIZE	0	sk	(-1)-s32max
BUF_SIZE	0	sk	(-1)-s32max
BUF_SIZE	1	psock	(-1),1320
BUF_SIZE	1	psock	(-1),1320
BUF_SIZE	1	psock->sk	(-1)-s32max
DATA_SOURCE	0	sk	$0
DATA_SOURCE	1	psock	$1
CONTAINER	0	-208-40-0+0	$(-1)
HALF_LOCKED2		bh
HALF_LOCKED2	0	&sk->sk_lock.slock

net/core/skmsg.c sk_psock_restore_proto() -> (struct sk_psock)->psock_update_sk_prot()

Type	Parameter	Key	Value
PARAM_VALUE	0	sk	4096-ptr_max
PARAM_VALUE	0	sk->sk_callback_lock.dep_map->name	0-255
PARAM_VALUE	0	sk->sk_callback_lock.owner_cpu	0
PARAM_VALUE	0	sk->sk_callback_lock.raw_lock.cnts.counter	0-s32max
PARAM_VALUE	1	psock	4096-ptr_max
PARAM_VALUE	1	psock->psock_update_sk_prot	1-u64max
PARAM_VALUE	2	restore	1
BUF_SIZE	0	sk	(-1)-s32max
BUF_SIZE	0	sk	(-1)-s32max
BUF_SIZE	0	sk->__sk_common.skc_net.net	(-1),1-s32max
BUF_SIZE	0	sk->__sk_common.skc_prot	(-1),448
BUF_SIZE	0	sk->sk_prot_creator	(-1),448
BUF_SIZE	1	psock	(-1),1320
BUF_SIZE	1	psock	(-1),1320
DATA_SOURCE	0	sk	$0
DATA_SOURCE	1	psock	$1
CONTAINER	1	-848+0	$(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	sk->sk_receive_queue.prev->csum_offset	0-u16max
HOST_DATA	0	sk->sk_receive_queue.prev->data_len	0-u32max[c]
HOST_DATA	0	sk->sk_receive_queue.prev->len	0-241,4294901762-u32max[c]
HOST_DATA	0	sk->sk_receive_queue.prev->next->csum_offset	0-u16max
HOST_DATA	0	sk->sk_receive_queue.prev->next->data_len	0-u32max[c]
HOST_DATA	0	sk->sk_receive_queue.prev->next->len	0-241,4294901762-u32max[c]
HOST_DATA	0	sk->sk_receive_queue.prev->next->truesize	0-u32max
HOST_DATA	0	sk->sk_receive_queue.prev->truesize	0-u32max
USER_DATA	1	psock->cork_bytes	1-u32max[c][u]
NO_OVERFLOW_SIMPLE	0	sk->sk_backlog.head->end
NO_OVERFLOW_SIMPLE	0	sk->sk_backlog.head->len
NO_OVERFLOW_SIMPLE	0	sk->sk_backlog.head->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_backlog.head->truesize
NO_OVERFLOW_SIMPLE	0	sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	sk->sk_backlog.tail->end
NO_OVERFLOW_SIMPLE	0	sk->sk_backlog.tail->len
NO_OVERFLOW_SIMPLE	0	sk->sk_backlog.tail->next->end
NO_OVERFLOW_SIMPLE	0	sk->sk_backlog.tail->next->len
NO_OVERFLOW_SIMPLE	0	sk->sk_backlog.tail->next->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_backlog.tail->next->truesize
NO_OVERFLOW_SIMPLE	0	sk->sk_backlog.tail->tail
NO_OVERFLOW_SIMPLE	0	sk->sk_backlog.tail->truesize
NO_OVERFLOW_SIMPLE	0	sk->sk_prot_creator->twsk_prot->twsk_slab->object_size
NO_OVERFLOW_SIMPLE	0	sk->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity
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_security
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
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.prev->data_len
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.prev->len
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.prev->next->data_len
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.prev->next->len
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE	0	sk->sk_write_queue.prev->truesize
LOCK2		bh
LOCK2	0	&sk->sk_callback_lock
HALF_LOCKED2	0	sk
HALF_LOCKED2	0	&sk->__sk_common.skc_net.net->ipv4.ra_mutex
HALF_LOCKED2	0	&sk->__sk_common.skc_net.net->mctp.keys_lock
HALF_LOCKED2	0	&sk->sk_lock.slock
TYPE_LOCK		(struct sock)->sk_callback_lock

net/core/sock_map.c sock_map_del_link() -> (struct sk_psock)->psock_update_sk_prot()

Type	Parameter	Key	Value
PARAM_VALUE	0	sk	4096-ptr_max
PARAM_VALUE	0	sk->sk_callback_lock.dep_map->name	0-255
PARAM_VALUE	0	sk->sk_callback_lock.owner_cpu	0
PARAM_VALUE	0	sk->sk_callback_lock.raw_lock.cnts.counter	0-s32max
PARAM_VALUE	0	sk->sk_data_ready	1-u64max
PARAM_VALUE	1	psock	4096-ptr_max
PARAM_VALUE	1	psock->link_lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	psock->psock_update_sk_prot	1-u64max
PARAM_VALUE	1	psock->saved_data_ready	0
PARAM_VALUE	2	restore	0
CAPPED_DATA	0	sk->sk_user_data	1
CAPPED_DATA	1	&psock->link	1
DATA_SOURCE	0	sk	$0
DATA_SOURCE	1	psock	$1
CONTAINER	1	-848+0	$(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		bh
LOCK2	0	&sk->sk_callback_lock
HALF_LOCKED2		&bucket->lock
HALF_LOCKED2		&stab->lock
HALF_LOCKED2		rcu_read
HALF_LOCKED2	0	sk
TYPE_LOCK		(struct sock)->sk_callback_lock