Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/tipc/socket.c __tipc_sendmsg() -> tipc_set_sk_state()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_state 7
PARAM_VALUE 1 state 2
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->end
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->end
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->next->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->next->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->truesize
UNITS 0 sk unit_byte
LOCK2 sk

net/tipc/socket.c __tipc_shutdown() -> tipc_set_sk_state()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_state 1-2
PARAM_VALUE 1 state 8
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
CAPPED_DATA 0 &sk->sk_receive_queue 1
CAPPED_DATA 0 &sk->sk_write_queue 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
LOCK2 sk

net/tipc/socket.c tipc_listen() -> tipc_set_sk_state()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 1 state 10
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
LOCK2 0 sk
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 global &ls_lock
HALF_LOCKED2 global &o2nm_cluster_group.cs_subsys.su_mutex
HALF_LOCKED2 global &pernet_ops_rwsem

net/tipc/socket.c tipc_sk_check_probing_state() -> tipc_set_sk_state()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_state 1
PARAM_VALUE 1 state 8
DATA_SOURCE 0 sk $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &sk->sk_lock.slock
TYPE_LOCK (struct socket_lock_t)->slock

net/tipc/socket.c tipc_sk_conn_proto_rcv() -> tipc_set_sk_state()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 1 state 8
BUF_SIZE 0 sk 1480
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh
HALF_LOCKED2 sk

net/tipc/socket.c tipc_sk_create() -> tipc_set_sk_state()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_state 7
PARAM_VALUE 1 state 7
BUF_SIZE 0 sk->__sk_common.skc_net.net (-1),1-s32max
BUF_SIZE 0 sk->sk_prot_creator 448
DATA_SOURCE 0 sk r sk_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &bt_proto_lock
HALF_LOCKED2 sk

net/tipc/socket.c tipc_sk_filter_connect() -> tipc_set_sk_state()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_state 1
PARAM_VALUE 1 state 8
BUF_SIZE 0 sk 1480
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
CAPPED_DATA 0 sk->sk_write_queue.next 1
CAPPED_DATA 0 &sk->sk_write_queue 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh

net/tipc/socket.c tipc_sk_filter_connect() -> tipc_set_sk_state()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_state 0,2-6,9,11-255
PARAM_VALUE 1 state 8
BUF_SIZE 0 sk 1480
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh

net/tipc/socket.c tipc_sk_finish_conn() -> tipc_set_sk_state()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 1 state 1
BUF_SIZE 0 sk 1480
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
CAPPED_DATA 0 &sk->sk_timer 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 new_sk
HALF_LOCKED2 sk