Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/vxlan/vxlan_core.c vxlan_err_lookup() -> vxlan_vs_find_vni()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vs | 8-u64max |
| PARAM_VALUE | 2 | vni | 0,65536-4294967040 |
| PARAM_VALUE | 3 | vninode | 0 |
| DATA_SOURCE | 0 | vs | r __rcu_dereference_sk_user_data_with_flags |
| DATA_SOURCE | 2 | vni | r vxlan_vni |
| UNITS | 1 | ifindex | unit_array_size |
drivers/net/vxlan/vxlan_core.c vxlan_find_vni() -> vxlan_vs_find_vni()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vs | 4096-ptr_max |
| PARAM_VALUE | 0 | vs->flags | 0,256-163072 |
| PARAM_VALUE | 0 | vs->sk | 4096-ptr_max |
| PARAM_VALUE | 0 | vs->sk->__sk_common.skc_family | 2,10 |
| PARAM_VALUE | 3 | vninode | 0 |
| CAPPED_DATA | 0 | vs->flags | 1 |
| CAPPED_DATA | 0 | vs->sk->__sk_common.skc_bound_dev_if | 1 |
| CAPPED_DATA | 1 | ifindex | 1 |
| DATA_SOURCE | 0 | vs | r vxlan_find_sock |
| DATA_SOURCE | 1 | ifindex | $1 |
| DATA_SOURCE | 2 | vni | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | ifindex | unit_array_size |
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &dev->tx_global_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | flags |
drivers/net/vxlan/vxlan_core.c vxlan_rcv() -> vxlan_vs_find_vni()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vs | 8-u64max |
| PARAM_VALUE | 2 | vni | 0,65536-4294967040 |
| PARAM_VALUE | 3 | vninode | 4789175603157176320 |
| PARAM_VALUE | 3 | *vninode | 0 |
| DATA_SOURCE | 0 | vs | r __rcu_dereference_sk_user_data_with_flags |
| DATA_SOURCE | 2 | vni | r vxlan_vni |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | ifindex | unit_array_size |