Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

net/core/sock.c __sk_free() -> sock_inuse_add()

Type Parameter Key Value
PARAM_VALUE 1 val (-1)
BUF_SIZE 0 net (-1),1-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/core/sock.c sk_alloc() -> sock_inuse_add()

Type Parameter Key Value
PARAM_VALUE 1 val 1
BUF_SIZE 0 net (-1),1-s32max
BUF_SIZE 0 net (-1),1-s32max
BUF_SIZE 0 net->key_domain (-1),24
BUF_SIZE 0 net->ucounts (-1),184
DATA_SOURCE 0 net $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 net->ipv6.igmp_sk->sk_receive_queue.prev->next->tail
NO_OVERFLOW_SIMPLE 0 net->ipv6.igmp_sk->sk_receive_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 net->ipv6.igmp_sk->sk_receive_queue.prev->tail
NO_OVERFLOW_SIMPLE 0 net->ipv6.igmp_sk->sk_receive_queue.prev->truesize
NO_OVERFLOW_SIMPLE 0 net->ipv6.igmp_sk->sk_write_queue.next->prev->tail
NO_OVERFLOW_SIMPLE 0 net->ipv6.igmp_sk->sk_write_queue.next->prev->truesize
NO_OVERFLOW_SIMPLE 0 net->ipv6.igmp_sk->sk_write_queue.next->tail
NO_OVERFLOW_SIMPLE 0 net->ipv6.igmp_sk->sk_write_queue.next->truesize
NO_OVERFLOW_SIMPLE 0 net->sctp.ctl_sock->sk_receive_queue.prev->next->tail
NO_OVERFLOW_SIMPLE 0 net->sctp.ctl_sock->sk_receive_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 net->sctp.ctl_sock->sk_receive_queue.prev->tail
NO_OVERFLOW_SIMPLE 0 net->sctp.ctl_sock->sk_receive_queue.prev->truesize
NO_OVERFLOW_SIMPLE 0 net->sctp.ctl_sock->sk_write_queue.next->prev->tail
NO_OVERFLOW_SIMPLE 0 net->sctp.ctl_sock->sk_write_queue.next->prev->truesize
NO_OVERFLOW_SIMPLE 0 net->sctp.ctl_sock->sk_write_queue.next->tail
NO_OVERFLOW_SIMPLE 0 net->sctp.ctl_sock->sk_write_queue.next->truesize
UNITS 0 net unit_byte
HALF_LOCKED2 global &proto_tab_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 sk

net/core/sock.c sk_clone() -> sock_inuse_add()

Type Parameter Key Value
PARAM_VALUE 1 val 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 sk

net/core/sock.c sk_net_refcnt_upgrade() -> sock_inuse_add()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 1 val 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 net unit_byte
HALF_LOCKED2 sk