Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/freescale/dpaa2/dpaa2-switch.c dpaa2_switch_probe() -> dpaa2_switch_probe_port()

Type Parameter Key Value
PARAM_VALUE 0 ethsw 4096-ptr_max
PARAM_VALUE 0 ethsw->dev 4096-ptr_max
PARAM_VALUE 0 ethsw->fdbs 16,4096-ptr_max
PARAM_VALUE 0 ethsw->filter_blocks 16,4096-ptr_max
PARAM_VALUE 0 ethsw->lags 16,4096-ptr_max
PARAM_VALUE 0 ethsw->mc_io 4096-ptr_max
PARAM_VALUE 0 ethsw->mc_io->flags 1
PARAM_VALUE 0 ethsw->mc_io->spinlock.magic 0,3735899821
PARAM_VALUE 0 ethsw->mc_io->spinlock.owner (-1)-0
PARAM_VALUE 0 ethsw->mc_io->spinlock.owner_cpu 0,4294967295
PARAM_VALUE 0 ethsw->ports 16,4096-ptr_max
PARAM_VALUE 0 ethsw->sw_attr.num_ifs 1-u16max
PARAM_VALUE 1 port_idx 0-65534
BUF_SIZE 0 ethsw 5568
BUF_SIZE 0 ethsw->dev 1616
BUF_SIZE 0 ethsw->fdbs 0-1048560
BUF_SIZE 0 ethsw->filter_blocks 0-4194240
BUF_SIZE 0 ethsw->lags 200
BUF_SIZE 0 ethsw->ports 0-524280
CAPPED_DATA 0 ethsw->sw_attr.num_ifs 1
CAPPED_DATA 1 port_idx 1
DATA_SOURCE 0 ethsw r _kzalloc_noprof
PARAM_COMPARE 0 ethsw->sw_attr.num_ifs > $1
PARAM_COMPARE 1 port_idx < $0->sw_attr.num_ifs
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ethsw->sw_attr.num_ifs
NO_OVERFLOW_SIMPLE 1 port_idx
UNITS 1 port_idx unit_array_size