Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/tipc/socket.c __tipc_nl_add_sk_con() -> tsk_peer_node()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
PARAM_VALUE 0 tsk->sk.__sk_common.skc_state 1
PARAM_VALUE 0 tsk->sk.ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 tsk->sk.ns_tracker->dead 0-1
PARAM_VALUE 0 tsk->sk.ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 tsk->sk.sk_backlog.head->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 tsk->sk.sk_backlog.head->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 tsk->sk.sk_backlog.head->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 tsk->sk.sk_lock.owned 1
PARAM_VALUE 0 tsk->sk.sk_lock.slock.rlock.dep_map->name 0-255
DATA_SOURCE 0 tsk $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &tsk->sk
TYPE_LOCK (struct tipc_sock)->sk

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

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
DATA_SOURCE 0 tsk r tipc_sk
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk
HALF_LOCKED2 new_sk

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

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
DATA_SOURCE 0 tsk r tipc_sk
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk

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

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
DATA_SOURCE 0 tsk r tipc_sk
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &qp->state_lock

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

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
DATA_SOURCE 0 tsk $0
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
DATA_SOURCE 0 tsk r tipc_sk
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &sk->sk_lock.slock
TYPE_LOCK (struct socket_lock_t)->slock

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

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

net/tipc/socket.c tipc_sk_dump() -> tsk_peer_node()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
DATA_SOURCE 0 tsk r tipc_sk

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

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
DATA_SOURCE 0 tsk $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh

net/tipc/socket.c tipc_sk_push_backlog() -> tsk_peer_node()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
CAPPED_DATA 0 tsk->sk.__sk_common.skc_net.net 1
DATA_SOURCE 0 tsk $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk

net/tipc/socket.c tipc_sk_send_ack() -> tsk_peer_node()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
CAPPED_DATA 0 tsk->sk.__sk_common.skc_net.net 1
DATA_SOURCE 0 tsk $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk
HALF_LOCKED2 &vq->mutex

net/tipc/socket.c tipc_sk_timeout() -> tsk_peer_node()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
DATA_SOURCE 0 tsk r tipc_sk
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
PARAM_VALUE 0 tsk->sk.__sk_common.skc_state 1
DATA_SOURCE 0 tsk $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh