Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/rocker/rocker_ofdpa.c ofdpa_port_vlan() -> ofdpa_flow_tbl_vlan()

Type Parameter Key Value
PARAM_VALUE 0 ofdpa_port 4096-ptr_max
PARAM_VALUE 0 ofdpa_port->ofdpa 4096-ptr_max
PARAM_VALUE 0 ofdpa_port->ofdpa->group_tbl_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ofdpa_port->ofdpa->rocker 4096-ptr_max
PARAM_VALUE 0 ofdpa_port->ofdpa->rocker->port_count 0-s32max
PARAM_VALUE 0 ofdpa_port->rocker_port->rocker->cmd_ring_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ofdpa_port->vlan_bitmap 4096-ptr_max
PARAM_VALUE 0 *ofdpa_port->dev->name 0-255
PARAM_VALUE 1 flags 0-1
PARAM_VALUE 4 vlan_id_mask u16max
PARAM_VALUE 5 goto_tbl 20
BUF_SIZE 0 ofdpa_port (-1),584
BUF_SIZE 0 ofdpa_port (-1),584
CAPPED_DATA 0 ofdpa_port->ofdpa->rocker->port_count 1
DATA_SOURCE 0 ofdpa_port $0
DATA_SOURCE 1 flags $1
DATA_SOURCE 3 vlan_id $2
DATA_SOURCE 7 new_vlan_id r ofdpa_port_vid_to_vlan
HARD_MAX 1 flags 1
RX_PATH
TASK_NOT_RUNNING
UNITS 3 vlan_id unit_array_size