Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 sock 4096-ptr_max
PARAM_VALUE 0 sock->sk 4096-ptr_max
PARAM_VALUE 1 timeout 7322905054289010688
BUF_SIZE 0 sock s32min-(-1),1-s32max
BUF_SIZE 0 sock s32min-(-1),1-s32max
DATA_SOURCE 0 sock $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk
HALF_LOCKED2 sk_

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

Type Parameter Key Value
PARAM_VALUE 0 sock 4096-ptr_max
PARAM_VALUE 0 sock->sk 4096-ptr_max
PARAM_VALUE 1 timeout 5977397391932276736
BUF_SIZE 0 sock s32min-(-1),1-s32max
BUF_SIZE 0 sock s32min-(-1),1-s32max
DATA_SOURCE 0 sock $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk
HALF_LOCKED2 new_sk
HALF_LOCKED2 sk_

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

Type Parameter Key Value
PARAM_VALUE 0 sock 4096-ptr_max
PARAM_VALUE 0 sock->sk 4096-ptr_max
PARAM_VALUE 1 timeout 2828490263789912064
BUF_SIZE 0 sock s32min-(-1),1-s32max
BUF_SIZE 0 sock s32min-(-1),1-s32max
DATA_SOURCE 0 sock $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk
HALF_LOCKED2 sk_

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

Type Parameter Key Value
PARAM_VALUE 0 sock 4096-ptr_max
PARAM_VALUE 0 sock->sk 4096-ptr_max
BUF_SIZE 0 sock s32min-(-1),1-s32max
BUF_SIZE 0 sock s32min-(-1),1-s32max
DATA_SOURCE 0 sock $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk
HALF_LOCKED2 sk_

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

Type Parameter Key Value
PARAM_VALUE 0 sock 4096-ptr_max
PARAM_VALUE 0 sock->sk 4096-ptr_max
BUF_SIZE 0 sock s32min-(-1),1-s32max
BUF_SIZE 0 sock s32min-(-1),1-s32max
DATA_SOURCE 0 sock $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk
HALF_LOCKED2 sk_

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

Type Parameter Key Value
PARAM_VALUE 0 sock 4096-ptr_max
PARAM_VALUE 0 sock->sk 4096-ptr_max
BUF_SIZE 0 sock s32min-(-1),1-s32max
BUF_SIZE 0 sock s32min-(-1),1-s32max
DATA_SOURCE 0 sock $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk
HALF_LOCKED2 sk_

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

Type Parameter Key Value
PARAM_VALUE 0 sock 4096-ptr_max
PARAM_VALUE 0 sock->sk 4096-ptr_max
BUF_SIZE 0 sock s32min-(-1),1-s32max
BUF_SIZE 0 sock s32min-(-1),1-s32max
DATA_SOURCE 0 sock $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk
HALF_LOCKED2 sk_