Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/mptcp/protocol.c mptcp_early_fallback() -> __mptcp_try_fallback()

Type Parameter Key Value
PARAM_VALUE 0 msk 4096-ptr_max
PARAM_VALUE 0 msk->__sk_common.skc_refcnt.refs.counter s32min-s32max
PARAM_VALUE 0 msk->conn_list.next 4096-ptr_max
PARAM_VALUE 0 msk->conn_list.next->next 4096-ptr_max
PARAM_VALUE 0 msk->conn_list.next->prev 4096-ptr_max
PARAM_VALUE 0 msk->first 1-u64max
PARAM_VALUE 0 msk->first->sk_callback_lock.dep_map->name 0-255
PARAM_VALUE 0 msk->first->sk_callback_lock.owner (-1)
PARAM_VALUE 0 msk->first->sk_callback_lock.owner_cpu u32max
PARAM_VALUE 0 msk->first->sk_callback_lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 0 msk->first->sk_socket 1-u64max
PARAM_VALUE 0 msk->first->sk_wq 4096-ptr_max
PARAM_VALUE 0 msk->first->sk_wq_raw 4096-ptr_max
PARAM_VALUE 1 fb_mib 8,10,72
DATA_SOURCE 0 msk $0
DATA_SOURCE 1 fb_mib $2
HARD_MAX 1 fb_mib 72
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk

net/mptcp/protocol.c mptcp_try_fallback() -> __mptcp_try_fallback()

Type Parameter Key Value
PARAM_VALUE 0 msk 4096-ptr_max
PARAM_VALUE 1 fb_mib 26,28
DATA_SOURCE 1 fb_mib $1
HARD_MAX 1 fb_mib 28
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 msk unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh

net/mptcp/options.c mptcp_try_fallback() -> __mptcp_try_fallback()

Type Parameter Key Value
PARAM_VALUE 0 msk 4096-ptr_max
PARAM_VALUE 1 fb_mib 71,74
DATA_SOURCE 1 fb_mib $1
HARD_MAX 1 fb_mib 74
RX_PATH
TASK_NOT_RUNNING
UNITS 0 msk unit_byte
HALF_LOCKED2 &ssk->sk_lock.slock
HALF_LOCKED2 ssk

net/mptcp/subflow.c mptcp_try_fallback() -> __mptcp_try_fallback()

Type Parameter Key Value
PARAM_VALUE 0 msk 4096-ptr_max
PARAM_VALUE 1 fb_mib 6,73
DATA_SOURCE 1 fb_mib $1
HARD_MAX 1 fb_mib 73
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 msk unit_byte

net/mptcp/ctrl.c mptcp_early_fallback() -> __mptcp_try_fallback()

Type Parameter Key Value
PARAM_VALUE 0 msk 4096-ptr_max
PARAM_VALUE 1 fb_mib 7
DATA_SOURCE 0 msk $0
DATA_SOURCE 1 fb_mib $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 msk unit_byte
HALF_LOCKED2 &ssk->sk_lock.slock