Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/wangxun/txgbe/txgbe_ethtool.c txgbe_add_ethtool_fdir_entry() -> txgbe_match_ethtool_fdir_entry()

Type Parameter Key Value
PARAM_VALUE 0 txgbe 4096-ptr_max
PARAM_VALUE 0 txgbe->fdir_perfect_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 txgbe->wx 4096-ptr_max
PARAM_VALUE 0 txgbe->wx->flags 4096-ptr_max
PARAM_VALUE 1 input 4096-ptr_max
PARAM_VALUE 1 input->action 0-18446744073709551614
PARAM_VALUE 1 input->filter->dword_stream 0-4294967295
PARAM_VALUE 1 input->filter.formatted.bkt_hash 0-8191
PARAM_VALUE 1 input->filter.formatted.dst_ip 4096-ptr_max
PARAM_VALUE 1 input->filter.formatted.flow_type 0-3
PARAM_VALUE 1 input->filter.formatted.src_ip 4096-ptr_max
PARAM_VALUE 1 input->filter.formatted.vlan_id 0,34-37
PARAM_VALUE 1 input->sw_idx 0-2045
BUF_SIZE 0 txgbe 2600
BUF_SIZE 1 input 72
DATA_SOURCE 0 txgbe $0
DATA_SOURCE 1 input r _kzalloc_noprof
FUZZY_MAX 1 input->action 127
BIT_INFO 1 input->filter.formatted.vlan_id 0x0,0x27
NOSPEC 1 input->sw_idx
PREEMPT_ADD <- disables preempt
USER_DATA 0 txgbe->fdir_mask.formatted.dst_port 0-u16max
USER_DATA 0 txgbe->fdir_mask.formatted.flex_bytes 0-u16max
USER_DATA 0 txgbe->fdir_mask.formatted.src_port 0-u16max
USER_DATA 0 txgbe->fdir_mask.formatted.vm_pool 0-255
USER_DATA 1 input->action 0-18446744073709551614
USER_DATA 1 input->filter.formatted.bkt_hash 0-8191[c]
USER_DATA 1 input->filter.formatted.dst_port 0-u16max
USER_DATA 1 input->filter.formatted.flex_bytes 0-u16max
USER_DATA 1 input->filter.formatted.src_port 0-u16max
USER_DATA 1 input->filter.formatted.vm_pool 0-255
USER_DATA 1 input->sw_idx 0-2045
LOCK2 0 &txgbe->fdir_perfect_lock
TYPE_LOCK (struct txgbe)->fdir_perfect_lock