Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/ipv4/tcp_output.c tcp_options_write() -> mptcp_options_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | th | 4096-ptr_max |
| PARAM_VALUE | 2 | tp | 0,4096-ptr_max |
| PARAM_VALUE | 3 | opts | 3090768010432651264,3626057984409858048 |
| PARAM_VALUE | 3 | opts->fastopen_cookie | 4096-ptr_max |
| PARAM_VALUE | 3 | opts->hash_location | 0,4097-18446744073709547521 |
| PARAM_VALUE | 3 | opts->mptcp.ahmac | 0-255 |
| PARAM_VALUE | 3 | opts->mptcp.backup | 0-1 |
| PARAM_VALUE | 3 | opts->mptcp.rm_list.nr | 0-8 |
| PARAM_VALUE | 3 | opts->mptcp.suboptions | 0-2,4,8,16,32,64,128,132,160,256,512,516,544,576,640,644,672,1024,1280,2048,2176,2560,2688,4096,5120,6144 |
| PARAM_VALUE | 3 | opts->num_accecn_fields | 0-3 |
| PARAM_VALUE | 3 | opts->options | 0-15,256-271,512-3851,4096-4141,4352-4397,4608-19753 |
| PARAM_VALUE | 3 | opts->ws | 0-15 |
| BUF_SIZE | 0 | th | 1-s32max |
| BUF_SIZE | 0 | th | 1-s32max |
| CAPPED_DATA | 3 | opts->num_sack_blocks | 1 |
| DATA_SOURCE | 0 | th | $0 |
| DATA_SOURCE | 2 | tp | $1 |
| DATA_SOURCE | 3 | opts | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | th->ack | 0-1[u] |
| USER_DATA | 0 | th->ae | 0-1[u] |
| USER_DATA | 0 | th->cwr | 0-1[u] |
| USER_DATA | 0 | th->doff | 0-15[u] |
| USER_DATA | 0 | th->ece | 0-1[u] |
| USER_DATA | 0 | th->fin | 0-1[u] |
| USER_DATA | 0 | th->psh | 0-1[u] |
| USER_DATA | 0 | th->res1 | 0-7[u] |
| USER_DATA | 0 | th->rst | 0-1[u] |
| USER_DATA | 0 | th->syn | 0-1[u] |
| USER_DATA | 0 | th->urg | 0-1[u] |
| USER_DATA | 1 | *ptr | 0-u32max |
| UNITS | 0 | th | unit_byte |
| UNITS | 1 | ptr | unit_byte |
| USER_PTR | 0 | th | |
| USER_PTR | 1 | ptr | |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | rcu_read | ||
| HALF_LOCKED2 | sk |