Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
net/ipv4/tcp_input.c tcp_rcv_synsent_state_process() -> tcp_paws_reject()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rx_opt | 4096-ptr_max |
| PARAM_VALUE | 0 | rx_opt->ts_recent_stamp | s32min-(-1),1-s32max |
| PARAM_VALUE | 1 | rst | 0 |
net/ipv4/tcp_minisocks.c tcp_check_req() -> tcp_paws_reject()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rx_opt | 4743626364370264064 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
net/ipv4/tcp_minisocks.c tcp_timewait_state_process() -> tcp_paws_reject()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rx_opt | 1098171937575424000 |
| PARAM_VALUE | 0 | rx_opt->ts_recent_stamp | s32min-(-1),1-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | rst | 0-1[u] |