Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/udp_tunnel_nic.c udp_tunnel_nic_entry_try_adj() -> udp_tunnel_nic_entry_adj()

Type Parameter Key Value
PARAM_VALUE 0 utn 4096-ptr_max
PARAM_VALUE 0 utn->entries 4096-ptr_max
CAPPED_DATA 0 utn->n_tables 1
CAPPED_DATA 1 table 1
CAPPED_DATA 2 idx 1
DATA_SOURCE 0 utn $0
DATA_SOURCE 1 table $1
DATA_SOURCE 2 idx $2
DATA_SOURCE 3 use_cnt_adj $4
CONSTRAINT 1 table <3152
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 idx unit_array_size

net/ipv4/udp_tunnel_nic.c udp_tunnel_nic_flush() -> udp_tunnel_nic_entry_adj()

Type Parameter Key Value
PARAM_VALUE 0 utn 4096-ptr_max
PARAM_VALUE 0 utn->entries 4096-ptr_max
PARAM_VALUE 3 use_cnt_adj 1-u16max
CAPPED_DATA 1 table 1
CAPPED_DATA 2 idx 1
DATA_SOURCE 0 utn $1
PARAM_COMPARE 1 table < $0->n_tables
CONSTRAINT 1 table <3152
NOCHECK_CALL
UNITS 2 idx unit_array_size