Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
net/mptcp/protocol.c mptcp_sk_clone_init() -> __mptcp_subflow_fully_established()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msk | 4096-ptr_max |
| PARAM_VALUE | 0 | msk->__sk_common.skc_prot | 4096-ptr_max |
| 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 | 4096-ptr_max |
| PARAM_VALUE | 0 | msk->fully_established | 0 |
| PARAM_VALUE | 0 | msk->in_accept_queue | 1 |
| PARAM_VALUE | 0 | msk->rcvq_space.copied | 0 |
| PARAM_VALUE | 0 | msk->rcvq_space.space | 1-655350 |
| PARAM_VALUE | 0 | msk->rcvspace_init | 1 |
| PARAM_VALUE | 0 | msk->subflow_id | 2 |
| PARAM_VALUE | 1 | subflow->node.next | 4096-ptr_max |
| PARAM_VALUE | 1 | subflow->node.prev | 4096-ptr_max |
| PARAM_VALUE | 2 | mp_opt | 9164230730566180864 |
| PARAM_VALUE | 2 | mp_opt->mpc_map | 1 |
| CAPPED_DATA | 0 | msk->__sk_common.skc_net.net | 1 |
| DATA_SOURCE | 1 | subflow | r mptcp_subflow_ctx |
| DATA_SOURCE | 2 | mp_opt | $1 |
| BIT_INFO | 2 | mp_opt->suboptions | 0x4,0xffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |
net/mptcp/options.c check_fully_established() -> __mptcp_subflow_fully_established()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msk | 4096-ptr_max |
| PARAM_VALUE | 0 | msk->sk_lock.slock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | subflow | 4096-ptr_max |
| PARAM_VALUE | 1 | subflow->conn | 4096-ptr_max |
| PARAM_VALUE | 1 | subflow->fully_established | 0 |
| PARAM_VALUE | 2 | mp_opt | 2735155083520081920 |
| PARAM_VALUE | 2 | mp_opt->mpc_map | 1 |
| PARAM_VALUE | 2 | mp_opt->suboptions | 0-26623 |
| DATA_SOURCE | 0 | msk | $0 |
| DATA_SOURCE | 1 | subflow | $2 |
| DATA_SOURCE | 2 | mp_opt | $4 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | msk | unit_byte |
| LOCK2 | bh | ||
| LOCK2 | 0 | &msk->sk_lock.slock | |
| HALF_LOCKED2 | &ssk->sk_lock.slock | ||
| HALF_LOCKED2 | ssk |