Open Menu /

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_ip() -> i40e_create_dummy_packet()

Type Parameter Key Value
PARAM_VALUE 0 dummy_packet 4096-ptr_max
PARAM_VALUE 2 l4proto 0,59
PARAM_VALUE 3 data 4096-ptr_max
PARAM_VALUE 3 data->ipl4_proto 0
PARAM_VALUE 3 data->pctype 0-255
BUF_SIZE 0 dummy_packet 512
BUF_SIZE 0 dummy_packet 512
BUF_SIZE 3 data (-1),96
BUF_SIZE 3 data (-1),96
DATA_SOURCE 0 dummy_packet r _kzalloc_noprof
DATA_SOURCE 1 ipv4 $3
DATA_SOURCE 3 data $1
FUZZY_MAX 2 l4proto 59
FUZZY_MAX 3 data->pctype 35
BIT_INFO 2 l4proto 0x0,0x3b
NOSPEC 3 data->fd_id
NOSPEC 3 data->q_index
HARD_MAX 2 l4proto 59
RX_PATH
TASK_NOT_RUNNING
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
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

drivers/net/ethernet/intel/i40e/i40e_txrx.c i40e_create_dummy_sctp_packet() -> i40e_create_dummy_packet()

Type Parameter Key Value
PARAM_VALUE 0 dummy_packet 4096-ptr_max
PARAM_VALUE 2 l4proto 132
PARAM_VALUE 3 data 4096-ptr_max
BUF_SIZE 0 dummy_packet 512
BUF_SIZE 0 dummy_packet 512
DATA_SOURCE 0 dummy_packet $0
DATA_SOURCE 1 ipv4 $1
DATA_SOURCE 3 data $3
NOSPEC 3 data->fd_id
NOSPEC 3 data->q_index
RX_PATH
TASK_NOT_RUNNING
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

drivers/net/ethernet/intel/i40e/i40e_txrx.c i40e_create_dummy_tcp_packet() -> i40e_create_dummy_packet()

Type Parameter Key Value
PARAM_VALUE 0 dummy_packet 4096-ptr_max
PARAM_VALUE 2 l4proto 6
PARAM_VALUE 3 data 4096-ptr_max
BUF_SIZE 0 dummy_packet 512
BUF_SIZE 0 dummy_packet 512
DATA_SOURCE 0 dummy_packet $0
DATA_SOURCE 1 ipv4 $1
DATA_SOURCE 3 data $3
NOSPEC 3 data->fd_id
NOSPEC 3 data->q_index
RX_PATH
TASK_NOT_RUNNING
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

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

Type Parameter Key Value
PARAM_VALUE 0 dummy_packet 4096-ptr_max
PARAM_VALUE 2 l4proto 17
PARAM_VALUE 3 data 4096-ptr_max
BUF_SIZE 0 dummy_packet 512
BUF_SIZE 0 dummy_packet 512
DATA_SOURCE 0 dummy_packet $0
DATA_SOURCE 1 ipv4 $1
DATA_SOURCE 3 data $3
NOSPEC 3 data->fd_id
NOSPEC 3 data->q_index
RX_PATH
TASK_NOT_RUNNING
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