Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/vxlan/vxlan_core.c vxlan_flush() -> vxlan_fdb_flush_should_match_remotes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 21738053724512256,548690096637829120,3809597157250846720 |
| PARAM_VALUE | 0 | desc->dst_ip.sa.sa_family | 0 |
| DATA_SOURCE | 0 | desc | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | desc->flags | 0-249[c] |
| USER_DATA | 0 | desc->state | 0-254 |
| HALF_LOCKED2 | global &rtnl_mutex |