Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/tipc/socket.c __tipc_nl_add_sk_info() -> tipc_sk_connected()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
BUF_SIZE 0 sk 1480
RX_PATH
TASK_NOT_RUNNING
LOCK2 &tsk->sk
TYPE_LOCK (struct tipc_sock)->sk

net/tipc/socket.c __tipc_sendstream() -> tipc_sk_connected()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
LOCK2 sk
HALF_LOCKED2 new_sk
HALF_LOCKED2 sk_

net/tipc/socket.c __tipc_sendstream() -> tipc_sk_connected()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
LOCK2 sk
LOCK2 sk_
HALF_LOCKED2 new_sk

net/tipc/socket.c tipc_getname() -> tipc_sk_connected()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 &qp->state_lock

net/tipc/socket.c tipc_sk_build_ack() -> tipc_sk_connected()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
BUF_SIZE 0 sk 1480
RX_PATH
TASK_NOT_RUNNING

net/tipc/socket.c tipc_sk_publish() -> tipc_sk_connected()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
BUF_SIZE 0 sk 1480
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk
HALF_LOCKED2 sock->sk

net/tipc/socket.c tipc_sk_sock_err() -> tipc_sk_connected()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_state 0-7,9-255
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 sk
HALF_LOCKED2 sk_

net/tipc/socket.c tipc_wait_for_connect() -> tipc_sk_connected()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
CAPPED_DATA 0 sk 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 sk

net/tipc/socket.c tipc_wait_for_connect() -> tipc_sk_connected()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
CAPPED_DATA 0 sk 1
CAPPED_DATA 0 sk->sk_disconnects 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
LOCK2 0 sk
HALF_LOCKED2 sk

net/tipc/socket.c tsk_peer_msg() -> tipc_sk_connected()

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