Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/ipv4/inet_connection_sock.c reqsk_timer_handler() -> syn_ack_recalc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | req | 4096-ptr_max |
| PARAM_VALUE | 1 | max_syn_ack_retries | 0-255 |
| PARAM_VALUE | 3 | expire | 2556280310574620672 |
| PARAM_VALUE | 3 | *expire | 0 |
| PARAM_VALUE | 4 | resend | 8319151172893765632 |
| PARAM_VALUE | 4 | *resend | 0 |
| FUZZY_MAX | 1 | max_syn_ack_retries | 2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |