Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/dsa/dsa.c dsa_switch_touch_ports() -> dsa_port_touch()

Type Parameter Key Value
PARAM_VALUE 0 ds 4096-ptr_max
PARAM_VALUE 0 ds->dev 4096-ptr_max
PARAM_VALUE 0 ds->dst 4096-ptr_max
PARAM_VALUE 0 ds->index 0
PARAM_VALUE 0 ds->num_ports 1-u32max
PARAM_VALUE 0 ds->phylink_mac_ops->mac_config 4096-ptr_max
PARAM_VALUE 0 ds->phylink_mac_ops->mac_disable_tx_lpi 0,4096-ptr_max
PARAM_VALUE 0 ds->phylink_mac_ops->mac_enable_tx_lpi 0,4096-ptr_max
PARAM_VALUE 0 ds->phylink_mac_ops->mac_link_down 4096-ptr_max
PARAM_VALUE 0 ds->phylink_mac_ops->mac_link_up 4096-ptr_max
PARAM_VALUE 0 ds->phylink_mac_ops->mac_select_pcs 0,4096-ptr_max
PARAM_VALUE 1 index 0-s32max
BUF_SIZE 0 ds->cd (-1),1-s32max
BUF_SIZE 0 ds->dev (-1),1616
BUF_SIZE 0 ds->dst (-1),104
BUF_SIZE 0 ds->ops (-1),952
BUF_SIZE 0 ds->phylink_mac_ops (-1),80
BUF_SIZE 0 ds->priv s32min-(-1),1-s32max
CAPPED_DATA 1 index 1
DATA_SOURCE 0 ds $0
FUZZY_MAX 1 index 0
PARAM_COMPARE 0 ds->num_ports > $1
PARAM_COMPARE 1 index < $0->num_ports
CONSTRAINT 1 index <987
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ds->num_ports
NO_OVERFLOW_SIMPLE 1 index
UNITS 0 ds unit_byte
LOCK2 global &dsa2_mutex