Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/ethernet/mellanox/mlxsw/core_linecards.c mlxsw_linecard_flash_update() -> mlxsw_core_fw_flash()

Type Parameter Key Value
PARAM_VALUE 1 mlxfw_dev 4403852693769048064
PARAM_VALUE 1 mlxfw_dev->devlink 4096-ptr_max
PARAM_VALUE 1 mlxfw_dev->ops 8065178078556168192
PARAM_VALUE 1 mlxfw_dev->psid_size 0-15
PARAM_VALUE 2 firmware 4096-ptr_max
PARAM_VALUE 3 extack 0,4971238048455385088
DATA_SOURCE 2 firmware $2
DATA_SOURCE 3 extack $3
RX_PATH
TASK_NOT_RUNNING
LOCK2 &linecard->lock
HALF_LOCKED2 &linecard_devlink->lock
TYPE_LOCK (struct mlxsw_linecard)->lock

drivers/net/ethernet/mellanox/mlxsw/core.c mlxsw_core_dev_fw_flash() -> mlxsw_core_fw_flash()

Type Parameter Key Value
PARAM_VALUE 0 mlxsw_core 4096-ptr_max
PARAM_VALUE 0 mlxsw_core->bus_info 4096-ptr_max
PARAM_VALUE 0 mlxsw_core->driver->profile 4096-ptr_max
PARAM_VALUE 0 mlxsw_core->driver->profile->max_lag 0,128
PARAM_VALUE 1 mlxfw_dev 8453437150367830016
PARAM_VALUE 1 mlxfw_dev->devlink 4096-ptr_max
PARAM_VALUE 1 mlxfw_dev->ops 3239093414619148288
PARAM_VALUE 1 mlxfw_dev->psid_size 0-15
PARAM_VALUE 2 firmware 4096-ptr_max
PARAM_VALUE 3 extack 0,4971238048455385088
BUF_SIZE 0 mlxsw_core->bus_priv s32min-(-1),1-s32max
DATA_SOURCE 0 mlxsw_core $0
DATA_SOURCE 2 firmware $1
DATA_SOURCE 3 extack $2
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 mlxsw_core->max_ports
HALF_LOCKED2 &devlink->lock