Open Menu /

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_matches()

Type Parameter Key Value
PARAM_VALUE 0 f 4096-ptr_max
PARAM_VALUE 2 desc 21738053724512256,548690096637829120,3809597157250846720
PARAM_VALUE 2 desc->dst_ip.sa.sa_family 0
PARAM_VALUE 2 desc->dst_ip.sin.sin_addr.s_addr 0
PARAM_VALUE 2 desc->flags 0-249
PARAM_VALUE 2 desc->flags_mask 0-255
PARAM_VALUE 2 desc->state 0-254
PARAM_VALUE 2 desc->state_mask 0-u16max
CAPPED_DATA 2 desc->flags 1
CAPPED_DATA 2 desc->state 1
DATA_SOURCE 1 vxlan $0
DATA_SOURCE 2 desc $1
NOSPEC 2 desc->flags
NOSPEC 2 desc->state
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 desc->flags 0-249[c]
USER_DATA 2 desc->state 0-254[c]
LOCK2 rcu_read
HALF_LOCKED2 global &rtnl_mutex