Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/ipv4/tcp_output.c tcp_options_write() -> process_tcp_ao_options()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tp | 0,4096-ptr_max |
| PARAM_VALUE | 2 | opts | 3090768010432651264,3626057984409858048 |
| PARAM_VALUE | 2 | opts->fastopen_cookie | 4096-ptr_max |
| PARAM_VALUE | 2 | opts->mptcp.ahmac | 0-255 |
| PARAM_VALUE | 2 | opts->mptcp.backup | 0-1 |
| PARAM_VALUE | 2 | opts->mptcp.rm_list.nr | 0-8 |
| PARAM_VALUE | 2 | 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 | 2 | opts->num_accecn_fields | 0-3 |
| PARAM_VALUE | 2 | opts->options | 0-15,256-271,512-3851,4096-4141,4352-4397,4608-19753 |
| PARAM_VALUE | 2 | opts->ws | 0-15 |
| PARAM_VALUE | 3 | key | 796404224453128192,1673956864513945600 |
| PARAM_VALUE | 3 | key->md5_key | 0,4096-ptr_max |
| PARAM_VALUE | 3 | key->type | 2 |
| DATA_SOURCE | 0 | tp | $1 |
| DATA_SOURCE | 1 | tcprsk | $2 |
| DATA_SOURCE | 2 | opts | $3 |
| DATA_SOURCE | 3 | key | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 4 | *ptr | 0-u32max |
| UNITS | 4 | ptr | unit_byte |
| USER_PTR | 4 | ptr | |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | rcu_read | ||
| HALF_LOCKED2 | sk |