Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
PARAM_VALUE 2 port 0
BUF_SIZE 0 l 16
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk
HALF_LOCKED2 sk_

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

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
PARAM_VALUE 2 port 0
BUF_SIZE 0 l 16
CAPPED_DATA 1 node 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk
LOCK2 sk_

net/tipc/socket.c tipc_send_group_anycast() -> tipc_dest_find()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
PARAM_VALUE 2 port 0
BUF_SIZE 0 l 16
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk

net/tipc/socket.c tipc_send_group_anycast() -> tipc_dest_find()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
PARAM_VALUE 2 port 0
BUF_SIZE 0 l 16
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk
HALF_LOCKED2 sk_

net/tipc/socket.c tipc_send_group_anycast() -> tipc_dest_find()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
PARAM_VALUE 2 port 0
BUF_SIZE 0 l 16
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk_
HALF_LOCKED2 sk

net/tipc/socket.c tipc_send_group_unicast() -> tipc_dest_find()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
PARAM_VALUE 2 port 0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 node 0-u32max
HALF_LOCKED2 sk
HALF_LOCKED2 sk_

net/tipc/socket.c tipc_send_group_unicast() -> tipc_dest_find()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
PARAM_VALUE 2 port 0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 node 0-u32max
LOCK2 sk_
HALF_LOCKED2 sk

net/tipc/name_table.c tipc_dest_del() -> tipc_dest_find()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
PARAM_VALUE 2 port 0
DATA_SOURCE 0 l $0
DATA_SOURCE 1 node $1
DATA_SOURCE 2 port $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 node 0-u32max
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh

net/tipc/name_table.c tipc_dest_push() -> tipc_dest_find()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
BUF_SIZE 0 l (-1),16
BUF_SIZE 0 l (-1),16
CAPPED_DATA 0 l 1
DATA_SOURCE 0 l $0
DATA_SOURCE 1 node $1
DATA_SOURCE 2 port $2
NOSPEC 1 node
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 node 0-u32max
HALF_LOCKED2 &sc->lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read