Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/mptcp/subflow.c __mptcp_subflow_connect() -> subflow_set_local_id()

Type Parameter Key Value
PARAM_VALUE 0 subflow 4096-ptr_max
PARAM_VALUE 1 local_id 0-255
DATA_SOURCE 0 subflow r mptcp_subflow_ctx
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 sk
HALF_LOCKED2 sk

net/mptcp/subflow.c subflow_chk_local_id() -> subflow_set_local_id()

Type Parameter Key Value
PARAM_VALUE 0 subflow 4096-ptr_max
PARAM_VALUE 0 subflow->local_id s16min-(-1)
PARAM_VALUE 1 local_id 0-255
CAPPED_DATA 1 local_id 1
DATA_SOURCE 0 subflow r mptcp_subflow_ctx
DATA_SOURCE 1 local_id r mptcp_pm_get_local_id
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 rcu_read
HALF_LOCKED2 sk

net/mptcp/subflow.c subflow_ulp_clone() -> subflow_set_local_id()

Type Parameter Key Value
PARAM_VALUE 0 subflow 4096-ptr_max
PARAM_VALUE 0 subflow->local_id (-1)
PARAM_VALUE 1 local_id 0
BUF_SIZE 0 subflow 280
DATA_SOURCE 0 subflow r subflow_create_ctx
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read
HALF_LOCKED2 sk

net/mptcp/subflow.c subflow_ulp_clone() -> subflow_set_local_id()

Type Parameter Key Value
PARAM_VALUE 0 subflow 4096-ptr_max
PARAM_VALUE 0 subflow->local_id (-1)
BUF_SIZE 0 subflow 280
DATA_SOURCE 0 subflow r subflow_create_ctx
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read
HALF_LOCKED2 sk