Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/core/sock_map.c sock_map_link() -> sock_map_init_proto()

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