Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/rocker/rocker_ofdpa.c ofdpa_port_fwding() -> ofdpa_group_l2_interface()

Type Parameter Key Value
PARAM_VALUE 0 ofdpa_port 4096-ptr_max
PARAM_VALUE 0 ofdpa_port->ctrls 4096-ptr_max
PARAM_VALUE 0 ofdpa_port->rocker_port->rocker->wops->port_priv_size 584
PARAM_VALUE 0 ofdpa_port->stp_state 0-255
PARAM_VALUE 0 ofdpa_port->vlan_bitmap 4096-ptr_max
PARAM_VALUE 1 flags 0-3
PARAM_VALUE 2 vlan_id 1-4095
BUF_SIZE 0 ofdpa_port (-1),584
BUF_SIZE 0 ofdpa_port (-1),584
CAPPED_DATA 0 ofdpa_port 1
DATA_SOURCE 0 ofdpa_port $0
DATA_SOURCE 1 flags $1 [m]
DATA_SOURCE 4 pop_vlan r ofdpa_vlan_id_is_internal
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/rocker/rocker_ofdpa.c ofdpa_port_vlan_l2_groups() -> ofdpa_group_l2_interface()

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->rocker 4096-ptr_max
PARAM_VALUE 0 ofdpa_port->stp_state 2-3
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
DATA_SOURCE 0 ofdpa_port $0
DATA_SOURCE 1 flags $1
DATA_SOURCE 2 vlan_id $2
DATA_SOURCE 4 pop_vlan $3
FUZZY_MAX 0 ofdpa_port->stp_state 3
BIT_INFO 0 ofdpa_port->stp_state 0x2,0x3
HARD_MAX 1 flags 1
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/rocker/rocker_ofdpa.c ofdpa_port_vlan_l2_groups() -> ofdpa_group_l2_interface()

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->rocker 4096-ptr_max
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 3 out_pport 0
DATA_SOURCE 0 ofdpa_port $0
DATA_SOURCE 1 flags $1
DATA_SOURCE 2 vlan_id $2
DATA_SOURCE 4 pop_vlan $3
HARD_MAX 1 flags 1
RX_PATH
TASK_NOT_RUNNING