Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/ipv4/udp_tunnel_nic.c udp_tunnel_nic_try_existing() -> udp_tunnel_nic_entry_try_adj()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | utn | 4096-ptr_max |
| PARAM_VALUE | 3 | ti | 1111202776771031040,2148752878077886464,8446853668579569664,8893996237038559232 |
| PARAM_VALUE | 3 | ti->type | 1-2,4 |
| CAPPED_DATA | 0 | utn->n_tables | 1 |
| CAPPED_DATA | 1 | table | 1 |
| CAPPED_DATA | 2 | idx | 1 |
| CAPPED_DATA | 3 | ti->type | 1 |
| DATA_SOURCE | 0 | utn | $1 |
| DATA_SOURCE | 3 | ti | $2 |
| DATA_SOURCE | 4 | use_cnt_adj | $3 |
| PARAM_COMPARE | 1 | table | < $0->n_tables |
| CONSTRAINT | 1 | table | <3152 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | idx | unit_array_size |