Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/ipv4/tcp_output.c __tcp_transmit_skb() -> tcp_options_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | th | 4096-ptr_max |
| PARAM_VALUE | 0 | th->check | 0 |
| PARAM_VALUE | 1 | tp | 4096-ptr_max |
| PARAM_VALUE | 2 | tcprsk | 0 |
| PARAM_VALUE | 3 | opts | 3626057984409858048 |
| PARAM_VALUE | 3 | opts->mptcp.ahmac | 0-255 |
| PARAM_VALUE | 3 | opts->mptcp.backup | 0-1 |
| PARAM_VALUE | 3 | opts->mptcp.ext_copy.data_ack | 0-u32max |
| PARAM_VALUE | 3 | opts->mptcp.rm_list.nr | 1-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-6,8-13,256-261,264-269,512-3851,4096-4171,4352-4427,4608-27463 |
| PARAM_VALUE | 3 | opts->ws | 0-15 |
| PARAM_VALUE | 4 | key | 796404224453128192 |
| PARAM_VALUE | 4 | key->type | 0-2 |
| BUF_SIZE | 0 | th | 1-s32max |
| BUF_SIZE | 0 | th | 1-s32max |
| 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] |
| UNITS | 0 | th | unit_byte |
| USER_PTR | 0 | th | |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/ipv4/tcp_output.c tcp_make_synack() -> tcp_options_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | th | 4096-ptr_max |
| PARAM_VALUE | 0 | th->ack | 1 |
| PARAM_VALUE | 0 | th->ae | 0 |
| PARAM_VALUE | 0 | th->cwr | 0 |
| PARAM_VALUE | 0 | th->syn | 1 |
| PARAM_VALUE | 1 | tp | 0 |
| PARAM_VALUE | 3 | opts | 3090768010432651264 |
| PARAM_VALUE | 3 | opts->fastopen_cookie | 4096-ptr_max |
| PARAM_VALUE | 3 | opts->mptcp.backup | 0-1 |
| PARAM_VALUE | 3 | opts->mptcp.suboptions | 2,16 |
| PARAM_VALUE | 3 | opts->num_accecn_fields | 0-3 |
| PARAM_VALUE | 3 | opts->num_sack_blocks | 0-3 |
| PARAM_VALUE | 3 | opts->options | 0-15,256-271,512-3851,4096-4171,4352-4427,4608-27463 |
| PARAM_VALUE | 3 | opts->use_synack_ecn_bytes | 1 |
| PARAM_VALUE | 3 | opts->ws | 0-15 |
| PARAM_VALUE | 4 | key | 1673956864513945600 |
| PARAM_VALUE | 4 | key->ao_key | 0,4096-ptr_max |
| PARAM_VALUE | 4 | key->md5_key | 0,4096-ptr_max |
| PARAM_VALUE | 4 | key->rcv_next | 0 |
| PARAM_VALUE | 4 | key->sne | 0 |
| PARAM_VALUE | 4 | key->type | 0-2 |
| BUF_SIZE | 0 | th | 1-s32max |
| BUF_SIZE | 0 | th | 1-s32max |
| MEM_ZERO | 0 | th | |
| MEM_ZERO | 3 | opts | |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | th | unit_byte |
| USER_PTR | 0 | th | |
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | sk |