Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/vxlan/vxlan_core.c encap_bypass_if_local() -> vxlan_find_vni()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | family | 2,10 |
| PARAM_VALUE | 5 | flags | 524288-u32max |
| DATA_SOURCE | 1 | ifindex | $5 |
| DATA_SOURCE | 2 | vni | $6 |
| DATA_SOURCE | 3 | family | $3 |
| DATA_SOURCE | 4 | port | $4 |
| BIT_INFO | 5 | flags | 0x80000,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | net | unit_byte |
| UNITS | 1 | ifindex | unit_array_size |
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &dev->tx_global_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | flags |