Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/vxlan/vxlan_core.c __vxlan_sock_add() -> vxlan_find_sock()

Type Parameter Key Value
PARAM_VALUE 1 family 2,10
CAPPED_DATA 4 ifindex 1
FUZZY_MAX 1 family 10
BIT_INFO 1 family 0x2,0xa
HARD_MAX 1 family 10
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
LOCK2 rcu_read

drivers/net/vxlan/vxlan_core.c vxlan_find_vni() -> vxlan_find_sock()

Type Parameter Key Value
PARAM_VALUE 1 family 2,10
PARAM_VALUE 3 flags 524288-u32max
DATA_SOURCE 0 net $0
DATA_SOURCE 1 family $3
DATA_SOURCE 2 port $4
DATA_SOURCE 3 flags $5
DATA_SOURCE 4 ifindex $1
BIT_INFO 3 flags 0x80000,0xffffffff
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
UNITS 4 ifindex unit_array_size
LOCK2 rcu_read
HALF_LOCKED2 &dev->tx_global_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags