Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/ipv4/tcp_output.c mptcp_options_write() -> mptcp_write_options()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | th | 4096-ptr_max |
| PARAM_VALUE | 2 | tp | 0,4096-ptr_max |
| PARAM_VALUE | 3 | opts | 3090768010432651296,3626057984409858080 |
| PARAM_VALUE | 3 | opts->ahmac | 0-255 |
| PARAM_VALUE | 3 | opts->backup | 0-1 |
| PARAM_VALUE | 3 | opts->rm_list.nr | 0-8 |
| PARAM_VALUE | 3 | opts->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 |
| BUF_SIZE | 0 | th | 1-s32max |
| BUF_SIZE | 0 | th | 1-s32max |
| DATA_SOURCE | 0 | th | $0 |
| DATA_SOURCE | 1 | ptr | $1 |
| DATA_SOURCE | 2 | tp | $2 |
| 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 |