Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/intel/i40e/i40e_txrx.c i40e_add_del_fdir_udp() -> i40e_create_dummy_udp_packet()

Type Parameter Key Value
PARAM_VALUE 0 raw_packet 4096-ptr_max
PARAM_VALUE 2 l4proto 17
PARAM_VALUE 3 data 4096-ptr_max
BUF_SIZE 0 raw_packet 512
BUF_SIZE 0 raw_packet 512
BUF_SIZE 3 data (-1),96
BUF_SIZE 3 data (-1),96
DATA_SOURCE 0 raw_packet r _kzalloc_noprof
DATA_SOURCE 1 ipv4 $3
DATA_SOURCE 3 data $1
NOSPEC 3 data->fd_id
NOSPEC 3 data->q_index
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 3 data->dst_ip 0-u32max
USER_DATA 3 data->dst_port 0-u16max
USER_DATA 3 data->fd_id 0-s32max[c]
USER_DATA 3 data->flow_type 0-4,8-13,15-255[c]
USER_DATA 3 data->ipl4_proto 0-255
USER_DATA 3 data->q_index 0-65534[c]
USER_DATA 3 data->src_ip 0-u32max
USER_DATA 3 data->src_port 0-u16max
USER_DATA 3 data->vlan_etype 0-u16max
USER_DATA 3 data->vlan_tag 0-u16max